Author of the publication

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.

, , , , , , and . ISSTA, page 15-26. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Actor-Based Runtime Verification with MESA., , and . RV, volume 12399 of Lecture Notes in Computer Science, page 221-240. Springer, (2020)JPF-AWT: Model checking GUI applications., , and . ASE, page 584-587. IEEE Computer Society, (2011)Model Checking Programs with Java PathFinder., and . SPIN, volume 3639 of Lecture Notes in Computer Science, page 27. Springer, (2005)Extending JPF to verify distributed systems., and . ACM SIGSOFT Softw. Eng. Notes, 39 (1): 1-5 (2014)Combining unit-level symbolic execution and system-level concrete execution for testing NASA software., , , , , , and . ISSTA, page 15-26. ACM, (2008)A hands-on Java PathFinder tutorial., , and . ICSE, page 1493-1495. IEEE Computer Society, (2013)Model Checking Real Time Java Using Java PathFinder., , and . ATVA, volume 3707 of Lecture Notes in Computer Science, page 444-456. Springer, (2005)Modeling class loaders in Java PathFinder version 7., and . ACM SIGSOFT Softw. Eng. Notes, 37 (6): 1-5 (2012)Design for Verification with Dynamic Assertions., and . SEW, page 285-292. IEEE Computer Society, (2005)