| Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003 | 1813 | 2003 |
| Generalized symbolic execution for model checking and testing S Khurshid, CS Păsăreanu, W Visser International Conference on Tools and Algorithms for the Construction and …, 2003 | 660 | 2003 |
| Test input generation with Java PathFinder W Visser, CS Pǎsǎreanu, S Khurshid Proceedings of the 2004 ACM SIGSOFT international symposium on Software …, 2004 | 593 | 2004 |
| Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ... 2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011 | 381 | 2011 |
| JPF–SE: A symbolic execution extension to java pathfinder S Anand, CS Păsăreanu, W Visser International conference on tools and algorithms for the construction and …, 2007 | 297 | 2007 |
| A survey of new trends in symbolic execution for software testing and analysis CS Păsăreanu, W Visser International journal on software tools for technology transfer 11 (4), 339, 2009 | 270 | 2009 |
| What went wrong: Explaining counterexamples A Groce, W Visser International SPIN Workshop on Model Checking of Software, 121-136, 2003 | 249 | 2003 |
| Java PathFinder-second generation of a Java model checker G Brat, K Havelund, SJ Park, W Visser In Proceedings of the Workshop on Advances in Verification, 2000 | 248 | 2000 |
| Tool-supported program abstraction for finite-state verification MB Dwyer, J Hatcliff, R Joehanes, S Laubach, CS Pasreanu, RH Zheng, ... Proceedings of the 23rd International Conference on Software Engineering …, 2001 | 192 | 2001 |
| Verifying multi-agent programs by model checking RH Bordini, M Fisher, W Visser, M Wooldridge Autonomous agents and multi-agent systems 12 (2), 239-256, 2006 | 186 | 2006 |
| Test input generation for Java containers using state matching W Visser, CS Pǎsǎreanu, R Pelánek Proceedings of the 2006 international symposium on Software testing and …, 2006 | 178 | 2006 |
| Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis CS Păsăreanu, W Visser, D Bushnell, J Geldenhuys, P Mehlitz, N Rungta Automated Software Engineering 20 (3), 391-425, 2013 | 158 | 2013 |
| Verification of Java programs using symbolic execution and invariant generation CS Păsăreanu, W Visser International SPIN Workshop on Model Checking of Software, 164-181, 2004 | 156 | 2004 |
| Addressing dynamic issues of program model checking F Lerda, W Visser International SPIN Workshop on Model Checking of Software, 80-102, 2001 | 150 | 2001 |
| Green: reducing, reusing and recycling constraints in program analysis W Visser, J Geldenhuys, MB Dwyer Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012 | 123 | 2012 |
| Model checking Java programs using structural heuristics A Groce, W Visser Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002 | 123 | 2002 |
| Heuristics for model checking Java programs A Groce, W Visser International Journal on Software Tools for Technology Transfer 6 (4), 260-276, 2004 | 122 | 2004 |
| Combining test case generation and runtime verification C Artho, H Barringer, A Goldberg, K Havelund, S Khurshid, M Lowry, ... Theoretical Computer Science 336 (2-3), 209-234, 2005 | 121 | 2005 |
| Auto-generating test sequences using model checkers: A case study MPE Heimdahl, S Rayadurgam, W Visser, G Devaraj, J Gao International Workshop on Formal Approaches to Software Testing, 42-59, 2003 | 117 | 2003 |
| Experimental evaluation of verification and validation tools on martian rover software G Brat, D Drusinsky, D Giannakopoulou, A Goldberg, K Havelund, ... Formal Methods in System Design 25 (2-3), 167-198, 2004 | 115 | 2004 |
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
