Login / Signup
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
Published in:
ISSTA (2008)
Keyphrases
</>
symbolic execution
neural network
software development
search algorithm
decision trees
case study
knowledge management
source code
building blocks
software systems
test data generation