SWAT: Improvements to the Symbolic Executor (Competition Contribution).

Nils Loose, Florian Sieck, Felix Mchtle, Thomas Eisenbarth

Browse the full TACAS paper archive.