Combining unit-level symbolic execution and systemlevel concrete execution for testing NASA software. (2008)

by C S Pasareanu, P C Mehlitz, D H Bushnell, K Gundy-Burlet, M Lowry, S Person, M Pape
Venue:In ISSTA '08,