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

by Corina S Păsăreanu, Peter C Mehlitz, David H Bushnell, Karen Gundy-Burlet, Michael Lowry, Suzette Person, Mark Pape
Venue:In Proceedings of ISSTA. 15–25