Software and Computational Systems Lab

Publications about Test-Case Generation

1. Max Barth and Marie-Christine Jakobs. Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation. In Proc. SEFM , 2026. (to appear) Keyword(s): Ultimate Automizer, Test-Case Generation, Software Model Checking, Parallelization, Trace Abstraction Funding: DFG-ReVeriX
   BibTeX Entry

   @inproceedings{ParallelUTestGen, author = {Max Barth and Marie{-}Christine Jakobs}, title = {Integrating Parallel Trace Abstraction and Explicit Exploration for Test-Case Generation}, booktitle = {Proc.\ {SEFM}}, pages = {}, year = {2026}, publisher = {}, doi = {}, url = {}, pdf = {}, keyword = {Ultimate Automizer, Test-Case Generation, Software Model Checking, Parallelization, Trace Abstraction}, annote = {}, artifact = {}, funding = {DFG-ReVeriX}, note = {(to appear)}, }
2. Max Barth, Daniel Dietsch, Matthias Heizmann, and Marie-Christine Jakobs. 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)

   1. doi:10.5281/zenodo.17792491
   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}, }