Folgen
Andreas Stahlbauer
Andreas Stahlbauer
Bestätigte E-Mail-Adresse bei uni-passau.de
Titel
Zitiert von
Zitiert von
Jahr
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
1012015
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
612013
BDD-based software verification
D Beyer, A Stahlbauer
International Journal on Software Tools for Technology Transfer 16 (5), 507-518, 2014
302014
Testing scratch programs automatically
A Stahlbauer, M Kreis, G Fraser
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
282019
BDD-based software model checking with CPAchecker
D Beyer, A Stahlbauer
International Doctoral Workshop on Mathematical and Engineering Methods in …, 2012
222012
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
162016
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
102020
SnapCheck: Automated Testing for Snap! Programs
W Wang, C Zhang, A Stahlbauer, G Fraser, T Price
Proceedings of the 26th ACM Conference on Innovation and Technology in …, 2021
52021
Verification witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig
ACM Transactions on Software Engineering and Methodology, 2022
32022
Finding anomalies in scratch assignments
N Körber, K Geldreich, A Stahlbauer, G Fraser
2021 IEEE/ACM 43rd International Conference on Software Engineering …, 2021
32021
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
12021
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
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–18