Understanding Programming Bugs in ANSI-C Software Using Bounded Model Checking Counter-Examples.

Herbert Rocha, Raimundo S. Barreto, Lucas C. Cordeiro, Arilo Dias Neto

Browse the full IFM paper archive.