Goblitch: Combining Abstract Interpretation with Symbolic Execution via Witnesses - (Competition Contribution).

Karoliine Holter, Paulna Ayaziov, Simmo Saan, Jan Strejcek, Vesal Vojdani

Browse the full TACAS paper archive.