About this scholarly article

Combining Unit-level Symbolic Execution and System-level Concrete Execution for Testing Nasa Software by Corina S. Pǎsǎreanu; Peter C. Mehlitz; David H. Bushnell; Karen Gundy-Burlet; Michael Lowry; Suzette Person; Mark Pape is a scholarly article available to read on EtoBox.

Author

Corina S. Pǎsǎreanu; Peter C. Mehlitz; David H. Bushnell; Karen Gundy-Burlet; Michael Lowry; Suzette Person; Mark Pape

Publisher

ACM

Published

2008

Language

EN