@inproceedings{loose2026swat,
 author = {Loose, Nils and Sieck, Florian and Mächtle, Felix and Eisenbarth, Thomas},
 booktitle = {Tools and Algorithms for the Construction and Analysis of Systems -- 32nd International Conference (TACAS 2026)},
 title = {SWAT: Improvements to the symbolic executor (competition contribution)},
 year = {2026}
}