Hunting Memory Bugs in C Programs with Map2Check - (Competition Contribution).

Herbert O. Rocha, Raimundo S. Barreto, Lucas C. Cordeiro

Browse the full TACAS paper archive.