Andreas Stahlbauer

According to our database, Andreas Stahlbauer authored at least 16 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Android Fuzzing: Balancing User-Inputs and Intents.

Michael Auer, Andreas Stahlbauer, Gordon Fraser

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2021

SnapCheck: Automated Testing for Snap Programs.

Wengran Wang, Chenhao Zhang, Andreas Stahlbauer, Gordon Fraser, Thomas W. Price

CoRR, 2021

Generating Timed UI Tests from Counterexamples.

Dominik Diner, Gordon Fraser, Sebastian Schweikl, Andreas Stahlbauer

Proceedings of the Tests and Proofs - 15th International Conference, 2021

SnapCheck: Automated Testing for Snap<i>!</i> Programs.

Wengran Wang, Chenhao Zhang, Andreas Stahlbauer, Gordon Fraser, Thomas W. Price

Proceedings of the ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V.1, Virtual Event, Germany, June 26, 2021

Finding Anomalies in Scratch Assignments.

Nina Körber, Katharina Geldreich, Andreas Stahlbauer, Gordon Fraser

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2021

2020

Abstract Transducers for Software Analysis and Verification.

Andreas Stahlbauer

PhD thesis, 2020

Testing Scratch Programs Automatically.

Andreas Stahlbauer, Marvin Kreis, Gordon Fraser

Proceedings of the Software Engineering 2020, 2020

Verified from Scratch: Program Analysis for Learners' Programs.

Andreas Stahlbauer, Christoph Frädrich, Gordon Fraser

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Abstract Transducers.

Andreas Stahlbauer

CoRR, 2019

2016

On-the-fly decomposition of specifications in software model checking.

Sven Apel, Dirk Beyer, Vitaly O. Mordan, Vadim S. Mutilin, Andreas Stahlbauer

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Witness validation and stepwise testification across software verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer

Proceedings of the Software Engineering 2016, 2016

2014

BDD-based software verification - Applications to event-condition-action systems.

Dirk Beyer, Andreas Stahlbauer

Int. J. Softw. Tools Technol. Transf., 2014

Precision Reuse in CPAchecker.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

2013

Reusing Precisions for Efficient Regression Verification

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

CoRR, 2013

Precision reuse for efficient regression verification.

Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer, Philipp Wendler

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

2012

BDD-Based Software Model Checking with CPAchecker.

Dirk Beyer, Andreas Stahlbauer

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2012