Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution).

Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto

Browse the full TACAS paper archive.