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
712015
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
512013
BDD-based software verification
D Beyer, A Stahlbauer
International Journal on Software Tools for Technology Transfer 16 (5), 507-518, 2014
232014
BDD-based software model checking with CPAchecker
D Beyer, A Stahlbauer
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012
192012
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
132016
Testing scratch programs automatically
A Stahlbauer, M Kreis, G Fraser
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
112019
Verified from Scratch: Program Analysis for Learners' Programs
A Stahlbauer, C Frädrich, G Fraser
2020 35th IEEE/ACM International Conference on Automated Software …, 2020
52020
Reusing precisions for efficient regression verification
D Beyer, S Löwe, E Novikov, A Stahlbauer, P Wendler
arXiv preprint arXiv:1305.6915, 2013
22013
Finding Anomalies in Scratch Assignments
N Körber, K Geldreich, A Stahlbauer, G Fraser
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
12021
SnapCheck: Automated Testing for Snap Programs
W Wang, C Zhang, A Stahlbauer, G Fraser, T Price
arXiv preprint arXiv:2104.11812, 2021
2021
Abstract Transducers for Software Analysis and Verification
A Stahlbauer
2020
Abstract Transducers
A Stahlbauer
arXiv preprint arXiv:1910.07583, 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–16