VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

Daniel Schwartz-Narbonne, Chanseok Oh, Martin Schf, Thomas Wies

Browse the full ICSE paper archive.