TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution).

Joxan Jaffar, Rasool Maghareh, Sangharatna Godboley, Xuan-Linh Ha

Browse the full FASE paper archive.