Login / Signup
Mark Pape
Publication Activity (10 Years)
Years Active: 2008-2008
Publications (10 Years): 0
</>
Publications
</>
Corina S. Pasareanu
,
Peter C. Mehlitz
,
David H. Bushnell
,
Karen Gundy-Burlet
,
Michael R. Lowry
,
Suzette Person
,
Mark Pape
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.
ISSTA
(2008)