Constraint-Based Testing for Buffer Overflows.

Loui Al Sardy, Francesca Saglietti, Tong Tang, Heiko Sonnenberg

Browse the full SAFECOMP paper archive.