Mark Pape

According to our database, Mark Pape authored at least 1 paper in 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

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

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008