SWAT: Modular Dynamic Symbolic Execution for Java Applications using Dynamic Instrumentation (Competition Contribution).

Nils Loose, Felix Mchtle, Florian Sieck, Thomas Eisenbarth

Browse the full TACAS paper archive.