 | 2008 |
|---|
| 4 |       | 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: 15-26 |
| 2005 |
|---|
| 3 | | Gary Lindstrom,
Peter C. Mehlitz,
Willem Visser:
Model Checking Real Time Java Using Java PathFinder.
ATVA 2005: 444-456 |
| 2 | | Peter C. Mehlitz,
John Penix:
Design for Verification with Dynamic Assertions.
SEW 2005: 285-292 |
| 1 | | Willem Visser,
Peter C. Mehlitz:
Model Checking Programs with Java PathFinder.
SPIN 2005: 27 |
