BDD-Based Software Model Checking with CPAchecker. - Dirk Beyer 001; Andreas Stahlbauer (MEMICS, 2012)

Precision reuse for efficient regression verification. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (ESEC/SIGSOFT FSE, 2013)

Reusing Precisions for Efficient Regression Verification - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (CoRR, 2013)

Precision Reuse in CPAchecker. - Dirk Beyer 001; Stefan Löwe; Evgeny Novikov; Andreas Stahlbauer; Philipp Wendler (Software Engineering, 2014)

BDD-based software verification - Applications to event-condition-action systems. - Dirk Beyer 001; Andreas Stahlbauer (Int. J. Softw. Tools Technol. Transf., 2014)

Witness validation and stepwise testification across software verifiers. - Dirk Beyer 001; Matthias Dangl; Daniel Dietsch; Matthias Heizmann; Andreas Stahlbauer (Software Engineering, 2016)

On-the-fly decomposition of specifications in software model checking. - Sven Apel; Dirk Beyer 001; Vitaly O. Mordan; Vadim S. Mutilin; Andreas Stahlbauer (SIGSOFT FSE, 2016)

Abstract Transducers. - Andreas Stahlbauer (CoRR, 2019)

Verified from Scratch: Program Analysis for Learners' Programs. - Andreas Stahlbauer; Christoph Frädrich; Gordon Fraser 001 (ASE, 2020)

Testing Scratch Programs Automatically. - Andreas Stahlbauer; Marvin Kreis; Gordon Fraser 001 (SE, 2020)

Abstract Transducers for Software Analysis and Verification. - Andreas Stahlbauer (2020)

Finding Anomalies in Scratch Assignments. - Nina Körber; Katharina Geldreich; Andreas Stahlbauer; Gordon Fraser 001 (ICSE (SEET), 2021)

SnapCheck: Automated Testing for Snap! Programs. - Wengran Wang; Chenhao Zhang 003; Andreas Stahlbauer; Gordon Fraser 001; Thomas W. Price (ITiCSE (1), 2021)

Generating Timed UI Tests from Counterexamples. - Dominik Diner; Gordon Fraser 001; Sebastian Schweikl; Andreas Stahlbauer (TAP@STAF, 2021)

SnapCheck: Automated Testing for Snap Programs. - Wengran Wang; Chenhao Zhang 003; Andreas Stahlbauer; Gordon Fraser 001; Thomas W. Price (CoRR, 2021)

Android Fuzzing: Balancing User-Inputs and Intents. - Michael Auer; Andreas Stahlbauer; Gordon Fraser 001 (ICST, 2023)

Cost of Flaky Tests in Continuous Integration: An Industrial Case Study. - Fabian Leinen; Daniel Elsner; Alexander Pretschner; Andreas Stahlbauer; Michael Sailer; Elmar Jürgens (ICST, 2024)