Using symbolic execution for verifying safety-critical systems (2001)

by Alberto Coen-Porisini, Giovanni Denaro, Carlo Ghezzi, Mauro Pezzè
Venue:In ESEC / SIGSOFT FSE