Publications about Test-Case Generation
Articles in conference or workshop proceedings
-
Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic
Path Execution (Competition Contribution).
In Proc. FASE,
LNCS 16504,
pages 492-496,
2026.
Springer.
doi:10.1007/978-3-032-22774-4_28
Keyword(s):
Ultimate Automizer,
Software Model Checking,
Test-Case Generation
Funding:
DFG-ConVeY,
DFG-ReVeriX
Publisher's Version
PDF
Artifact(s)
BibTeX Entry
@inproceedings{UTestGen-TestComp2026, author = {Max Barth and Daniel Dietsch and Matthias Heizmann and Marie{-}Christine Jakobs}, title = {Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution)}, booktitle = {Proc. {FASE}}, pages = {492--496}, year = {2026}, series = {LNCS~16504}, publisher = {Springer}, doi = {10.1007/978-3-032-22774-4_28}, url = {}, pdf = {}, keyword = {Ultimate Automizer, Software Model Checking, Test-Case Generation}, annote = {}, artifact = {10.5281/zenodo.17792491}, funding = {DFG-ConVeY, DFG-ReVeriX}, }
Disclaimer:
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.