Andreas Stahlbauer

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 13

Top Topics

Deterministic Finite Automaton

Alternating Time Temporal Logic

Verification Method

Top Venues

ESEC/SIGSOFT FSE

Software Engineering

Publications

Michael Auer, Andreas Stahlbauer, Gordon Fraser
Android Fuzzing: Balancing User-Inputs and Intents. ICST (2023)
Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer
Generating Timed UI Tests from Counterexamples. TAP@STAF (2021)
Wengran Wang, Chenhao Zhang, Andreas Stahlbauer, Gordon Fraser, Thomas W. Price
Programs. ITiCSE (2021)
Nina Körber, Katharina Geldreich, Andreas Stahlbauer, Gordon Fraser
Finding Anomalies in Scratch Assignments. CoRR (2021)
Nina Körber, Katharina Geldreich, Andreas Stahlbauer, Gordon Fraser
Finding Anomalies in Scratch Assignments. ICSE (SEET) (2021)
Wengran Wang, Chenhao Zhang, Andreas Stahlbauer, Gordon Fraser, Thomas W. Price
SnapCheck: Automated Testing for Snap Programs. CoRR (2021)
Andreas Stahlbauer, Marvin Kreis, Gordon Fraser
Testing Scratch Programs Automatically. SE (2020)
Andreas Stahlbauer, Christoph Frädrich, Gordon Fraser
Verified from Scratch: Program Analysis for Learners' Programs. ASE (2020)
Andreas Stahlbauer
Abstract Transducers. CoRR (2019)
Andreas Stahlbauer, Marvin Kreis, Gordon Fraser
Testing scratch programs automatically. ESEC/SIGSOFT FSE (2019)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. Software Engineering (2016)
Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer
On-the-fly decomposition of specifications in software model checking. SIGSOFT FSE (2016)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. ESEC/SIGSOFT FSE (2015)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision Reuse in CPAchecker. Software Engineering (2014)
Dirk Beyer, Andreas Stahlbauer
BDD-based software verification - Applications to event-condition-action systems. Int. J. Softw. Tools Technol. Transf. 16 (5) (2014)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Reusing Precisions for Efficient Regression Verification CoRR (2013)
Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler
Precision reuse for efficient regression verification. ESEC/SIGSOFT FSE (2013)
Dirk Beyer, Andreas Stahlbauer
BDD-Based Software Model Checking with CPAchecker. MEMICS (2012)