Memory Management Test-Case Generation of C Programs Using Bounded Model Checking.

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

Browse the full SEFM paper archive.