Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution).

Marek Chalupa, Toms Jasek, Jakub Novk, Anna Rechtckov, Veronika Sokov, Jan Strejcek

Browse the full TACAS paper archive.