Andreas Stahlbauer

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