ANDREAS STAHLBAUER

My research focuses on models, algorithms, and tools for the development and maintenance of reliable (safety critical) software systems. In particular, I am interested in Formal Software Verification (Software Model Checking), Software Testing (Test Generation), Software Evolution (Regression Checking, Incremental Verification, Reuse of Verification Results), and Software Variability (Software Product Lines). One important objective of my work is to close the gap between theory and applicability in industry... I am working at CQSE helping companies arround the world to maintain healty and highy-quality software systems... From 2018 to 2021, I have been member of the group (Chair of Software Engineering II) of Prof. Dr. Gordon Fraser at the University of Passau-focus on software testing. From 2015 to 2018, I was member of the group (Chair of Software Engineering I) of Prof. Dr. Sven Apel (doctoral advisor)-focus on the analysis of configurable systems. From 2012 to 2014, I have been..