Research
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.
Status
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 member of the group of Prof. Dr. Dirk Beyer—focus on software model checking. Before that (2003 to 2012), I worked in industry as a software engineer and studied computer science (2006 to 2012).
Contact
Send me an e-mail to andreas @ the-domain-of-this-page.
Selected Publications
- TAP 21: Diner et al. "Generating Timed UI Tests from Counterexamples" Proceedings of the 15th International Conference on Tests and Proofs, 2021.
- ASE 20: Stahlbauer et al. "Verified from Scratch: Program Analysis for Learners’ Programs" Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2020. Code available at Github, a video is available here.
- FSE 19: Stahlbauer et al. "Testing Scratch Programs Automatically." Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. ACM, 2019.
- FSE 16: Apel et al. "On-The-Fly Decomposition of Specifications in Software Model Checking." Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering. ACM, 2016.
- FSE 15: Beyer et al. "Witness Validation and Stepwise Testification across Software Verifiers." Proceedings of the 11th Joint Meeting on Foundations of Software Engineering. ACM, 2015.
- STTT 14: Beyer and Stahlbauer. "BDD-based Software Verification." International Journal on Software Tools for Technology Transfer 16.5 (2014): 507-518.
- FSE 13: Beyer et al. "Precision Reuse for Efficient Regression Verification." Proceedings of the 9th Joint Meeting on Foundations of Software Engineering. ACM, 2013. Supplementary Web page.
Reviews
- TSE: Reviewer for the IEEE Transactions on Software Engineering
- SCP: Reviewer for the Journal on Science of Computer Programming
- STVR: Reviewer for the Journal on Software Testing, Verification and Reliability
- ISSTA 20: Artifact evaluation committee member for the ACM SIGSOFT International Symposium on Software Testing and Analysis
- ICST 20: Tool demo committee member for the IEEE International Conference on Software Testing, Verification and Validation
- ASE 17: External reviewer for the 32th IEEE/ACM International Conference on Automated Software Engineering
- ICSE 16: External reviewer for the 38th International Conference on Software Engineering
- GPCSE 16: External reviewer for the 15th International Conference on Generative Programming
- SPLC 15: External reviewer for the 19th International Software Product Lines Conference
- ICSME 15: External reviewer for the 31st International Conference on Software Maintenance and Evolution
- ICPC 15: External reviewer for the 23rd IEEE International Conference on Program Comprehension
- ICSE 14: External reviewer for the 36th International Conference on Software Engineering
- ICPC 13: External reviewer for the 2013 IEEE International Conference on Program Comprehension
- ICSM 12: External reviewer for the 2012 IEEE International Conference on Software Maintenance
- WCRE 12: External reviewer for the 2012 Working Conference on Reverse Engineering
Prospective Students
In case you are a student looking for a bachelor or master thesis: Feel free to contact me if you are interested in one of my research projects or a topic in context of formal methods. Students from the University of Passau should make sure that their study plan covers sufficient modules with focus on Programming and Software Systems.
To align with the examination regulations, a student must show that he or she is capable of scientific work and can apply scientific methods independently, on a limited topic. Despite the strong focus on independent work, we typically meet regulary to discuss the status of the thesis, open problems, questions, and next steps in this project.
Independent of the type of work, students should apply methods and principles for scientific work and academic writing—they are the foundation for conducting research. Please make sure to (1) make your results reproducibile, (2) discuss threats to validity, and (3) provide a study of related work that is sufficient to classify your contributions. We recommend to follow established practices for software engineering research.
Please consider to read (or watch) the guide on writing a master thesis (and choosing a good supervisor) by Elmar Juergens.
Book Recommendations
- A Mind For Numbers: How to Excel at Math and Science, Barbara Oakley, 2014
- The Craft of Research, Fourth Edition (Chicago Guides to Writing, Editing, and Publishing), Wayne C. Booth et al., 2016
- Deep Work: Rules for Focused Success in a Distracted World, Cal Newport, 2016
- Peak: Secrets from the New Science of Expertise, Anders Ericsson and Robert Pool, 2017
Teaching
- Summer 20: Configurable Program Analysis (guest lecture, 2 Units, in Software Analysis)
- Winter 19/20: Formal Specification (guest lecture, 1 unit, in Software Testing)
- Summer 19: Software Specification and Verification (guest lecture, 3 units, in Software Analysis), Sommercamp: Programming Microcontrollers with Arduino
- Winter 18/19: Programming 2, Software Verification (guest lecture, 1 unit, in Software Testing)
- Summer 18: Algorithms and Data Structures, Sommercamp: Programming Microcontrollers with Arduino
- Winter 17/18: Programming 2
- Summer 17: Algorithms and Data Structures, Sommercamp: Programming Microcontrollers with Arduino
- Summer 16: Programming 1, Sommercamp: Programming Microcontrollers with Arduino
- Winter 15/16: Programming 2
- Summer 15: Software Engineering Lab ("Software Engineering Praktikum"), Sommercamp: Programming Microcontrollers with Arduino
- Summer 14: Principles of Compiler Design
- Winter 13/14: Software Engineering Lab ("Software Engineering Praktikum")
- Summer 13: Principles of Compiler Design, Sommercamp: Programming Microcontrollers with Arduino
- Winter 12/13: Software Engineering Lab ("Software Engineering Praktikum")
- Summer 12: Principles of Compiler Design, Sommercamp: Linux Shell Programming
- Summer 07: Tutorial on "Computer Architecture" at the University of Applied Sciences Ingolstadt
Scientists 4 Future
"Only if we act quickly and consistently can we limit global warming, halt the mass extinction of animal and plant species, preserve the natural basis for life and create a future worth living for present and future generations." [Full statement]