| [16] | Passive Engineering Process Management Framework (Stefan Bichler), Master's thesis, Johannes Kepler University, 2021.
[bib] |
| [15] | Towards Deep Learning Driven Design Pattern Detection (Hannes Thaller), Master's thesis, Johannes Kepler University, 2016.
[bib] [pdf] |
| [14] | Exploiting Code Dependencies to Assist in Early Requirement-to-Code Trace Capture (Marcel Manseer), Master's thesis, Johannes Kepler University, 2016.
[bib] |
| [13] | An Automated Approach for Constructing Concrete Repairs for Model Inconsistencies (Roland Kretschmer), Master's thesis, Johannes Kepler University, 2016.
[bib] |
| [12] | Grammar Inference for Variability Management (Michael Sebastian Jahn), Master's thesis, Johannes Kepler University, 2016.
[bib] |
| [11] | Evaluierung von Persistierungstechnologien fï¿œr den DesignSpace (Martin Gangl), Master's thesis, Johannes Kepler University, 2015.
[bib] |
| [10] | Detecting Invalid Choices in Merged Code and Software Models (Matthias Braun), Master's thesis, Johannes Kepler University, 2015.
[bib] |
| [9] | Using Interactions to Validate Executing State Machines (Philipp Mitterer), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2014.
[bib] [pdf] |
| [8] | Feature-Based Composition of Software-Systems (Stefan Fischer), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2014.
[bib] [pdf] |
| [7] | Traceability decision making in the case of the presence of conflicts (Egor Erofeev), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013. (Advisor: Alexander Egyed)
[bib] [pdf] |
| [6] | Instant Incremental Class Invariant Checking for Java Virtual Machines (Sebastian Wilms), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013.
[bib] [pdf] |
| [5] | Model-and-Code Consistency Checking (Markus Riedl-Ehrenleitner), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013.
[bib] [pdf] |
| [4] | Reasoning over UML Models with Ambiguities (Franziska Öllerer), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013.
[bib] [pdf] |
| [3] | Reverse Engineering Variability from Product Variants (Lukas Linsbauer), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2013.
[bib] [pdf] |
| [2] | Konsistenzprüfung von Software Design Modellen in Mehrbenutzerumgebungen (Andreas Gruber), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2011.
[bib] [pdf] |
| [1] | Automatic Approach to Validating Requirement-to-Code Traces (Achraf Ghabi), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2010.
[bib] [pdf] |