Andreas Stahlbauer
Title
Cited by
Cited by
Year
Witness validation and stepwise testification across software verifiers
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
782015
Precision reuse for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013
522013
BDD-based software verification
D Beyer, A Stahlbauer
International Journal on Software Tools for Technology Transfer 16 (5), 507-518, 2014
262014
BDD-based software model checking with CPAchecker
D Beyer, A Stahlbauer
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012
212012
Testing scratch programs automatically
A Stahlbauer, M Kreis, G Fraser
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
202019
On-the-fly decomposition of specifications in software model checking
S Apel, D Beyer, V Mordan, V Mutilin, A Stahlbauer
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
142016
Verified from scratch: program analysis for learners' programs
A Stahlbauer, C Frädrich, G Fraser
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
92020
Finding Anomalies in Scratch Assignments
N Körber, K Geldreich, A Stahlbauer, G Fraser
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
22021
SnapCheck: Automated Testing for Snap Programs
W Wang, C Zhang, A Stahlbauer, G Fraser, T Price
arXiv preprint arXiv:2104.11812, 2021
22021
Reusing precisions for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
arXiv preprint arXiv:1305.6915, 2013
22013
Generating Timed UI Tests from Counterexamples
D Diner, G Fraser, S Schweikl, A Stahlbauer
International Conference on Tests and Proofs, 53-71, 2021
2021
Generating Timed UI Tests from Counterexamples
A Stahlbauer
Tests and Proofs: 15th International Conference, TAP 2021, Held as Part of …, 2021
2021
Abstract Transducers
A Stahlbauer
arXiv preprint arXiv:1910.07583, 2019
2019
Abstract Transducers for Software Analysis and Verification
A Stahlbauer
Universität Passau, 2019
2019
Том. 13-18-November-2016. FSE 2016-Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering.-Сер. FSE 2016-Proceedings of the …
S Apel, A Stahlbauer, D Beyer, V Mordan, V Mutilin, Y Kang, Y Zhou, H Xu, ...
2016
Verification Witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
Software Engineering 2016, 2016
2016
Precision Reuse in CPAchecker.
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
Software Engineering, 41-42, 2014
2014
BDD-Based Software Model Checking
D Beyer, A Stahlbauer
The system can't perform the operation now. Try again later.
Articles 1–18