Seguir
Willem Visser
Willem Visser
Computer Science Division, Stellenbosch University
Dirección de correo verificada de cs.sun.ac.za - Página principal
Título
Citado por
Citado por
Año
Model checking programs
W Visser, K Havelund, G Brat, SJ Park, F Lerda
Automated software engineering 10 (2), 203-232, 2003
19562003
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
7522003
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
6592004
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
4452011
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
3462007
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-353, 2009
3112009
What went wrong: Explaining counterexamples
A Groce, W Visser
International SPIN Workshop on Model Checking of Software, 121-136, 2003
2842003
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
2632000
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
2122013
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
2092006
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
2022001
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
2002006
S3: syntax-and semantic-guided repair synthesis via programming by examples
XBD Le, DH Chu, D Lo, C Le Goues, W Visser
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
1952017
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
1702004
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
1582012
Addressing dynamic issues of program model checking
F Lerda, W Visser
International SPIN Workshop on Model Checking of Software, 80-102, 2001
1572001
Probabilistic symbolic execution
J Geldenhuys, MB Dwyer, W Visser
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1452012
Reliability analysis in symbolic pathfinder
A Filieri, CS Păsăreanu, W Visser
2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013
1432013
Heuristics for model checking Java programs
A Groce, W Visser
International Journal on Software Tools for Technology Transfer 6 (4), 260-276, 2004
1332004
Model checking Java programs using structural heuristics
A Groce, W Visser
Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002
1332002
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20