@inproceedings{loose2024swat,
 author = {Loose, Nils and Mächtle, Felix and Sieck, Florian and Eisenbarth, Thomas},
 booktitle = {Tools and Algorithms for the Construction and Analysis of Systems -- 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III},
 doi = {10.1007/978-3-031-57256-2_28},
 editor = {Finkbeiner, Bernd and Kovács, Laura},
 organization = {Springer},
 pages = {399--405},
 title = {SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution)},
 year = {2024}
}