Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. - Corina S. Pasareanu; Peter C. Mehlitz; David H. Bushnell; Karen Gundy-Burlet; Michael R. Lowry; Suzette Person; Mark Pape (ISSTA, 2008)