DMCA

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software (2008)

Cached

Download Links

by Corina S. Păsăreanu , Peter C. Mehlitz , David H. Bushnell , Karen Gundy-burlet , Michael Lowry , Suzette Person , Mark Pape
Venue:In ISSTA
Citations:75 - 13 self