Symbiotic: Synergy of Instrumentation, Slicing, and Symbolic Execution - (Competition Contribution).

Jiri Slaby, Jan Strejcek, Marek Trtk

Browse the full TACAS paper archive.