%0 Conference Paper %1 conf/fase/BarthDHJ24 %A Barth, Max %A Dietsch, Daniel %A Heizmann, Matthias %A Jakobs, Marie-Christine %B FASE %D 2024 %E Beyer, Dirk %E Cavalcanti, Ana %I Springer %K dblp %P 326-330 %T Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). %U http://dblp.uni-trier.de/db/conf/fase/fase2024.html#BarthDHJ24 %V 14573 %@ 978-3-031-57259-3

@inproceedings{conf/fase/BarthDHJ24, added-at = {2024-04-14T00:00:00.000+0200}, author = {Barth, Max and Dietsch, Daniel and Heizmann, Matthias and Jakobs, Marie-Christine}, biburl = {https://www.bibsonomy.org/bibtex/2b6a8371af38c701e8c72fbbbd52cfce7/dblp}, booktitle = {FASE}, crossref = {conf/fase/2024}, editor = {Beyer, Dirk and Cavalcanti, Ana}, ee = {https://doi.org/10.1007/978-3-031-57259-3_20}, interhash = {0e24b73bb8093df4b74c9ddf07e726ac}, intrahash = {b6a8371af38c701e8c72fbbbd52cfce7}, isbn = {978-3-031-57259-3}, keywords = {dblp}, pages = {326-330}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-15T07:04:45.000+0200}, title = {Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).}, url = {http://dblp.uni-trier.de/db/conf/fase/fase2024.html#BarthDHJ24}, volume = 14573, year = 2024 }