Willem Visser
Willem Visser
Computer Science Division, Stellenbosch University
Verified email at cs.sun.ac.za - Homepage
TitleCited byYear
Model checking programs
W Visser, K Havelund, G Brat, SJ Park, F Lerda
Automated software engineering 10 (2), 203-232, 2003
18172003
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
6342003
Test input generation with Java PathFinder
W Visser, CS Pǎsǎreanu, S Khurshid
ACM SIGSOFT Software Engineering Notes 29 (4), 97-107, 2004
5852004
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
3592011
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
327*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
2512009
What went wrong: Explaining counterexamples
A Groce, W Visser
International SPIN Workshop on Model Checking of Software, 121-136, 2003
2472003
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
2412000
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
1942001
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
1762006
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
1742006
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
1492004
Addressing dynamic issues of program model checking
F Lerda, W Visser
Proceedings of the 8th international SPIN workshop on Model checking of …, 2001
1462001
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
1412013
Model checking Java programs using structural heuristics
A Groce, W Visser
ACM SIGSOFT software engineering notes 27 (4), 12-21, 2002
1232002
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
1162003
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
1152005
Heuristics for model checking Java programs
A Groce, W Visser
International Journal on Software Tools for Technology Transfer 6 (4), 260-276, 2004
1152004
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
1142012
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
1102004
The system can't perform the operation now. Try again later.
Articles 1–20