Obserwuj
Willem Visser
Willem Visser
Computer Science Division, Stellenbosch University
Zweryfikowany adres z cs.sun.ac.za - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Using predicate abstraction to reduce object-oriented programs for model checking
W Visser, SJ Park, J Penix
Proceedings of the third workshop on Formal methods in software practice, 3-182, 2000
20582000
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
7862003
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
6952004
Symbolic execution for software testing in practice: preliminary assessment
C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ...
Proceedings of the 33rd International Conference on Software Engineering …, 2011
4872011
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
3562007
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, 339-353, 2009
3152009
What went wrong: Explaining counterexamples
A Groce, W Visser
International SPIN Workshop on Model Checking of Software, 121-136, 2003
3012003
Java PathFinder? a second generation of a Java model checker
G Brat
Workshop on Advances in Verification, 2000, 2000
2672000
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
2322017
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, 391-425, 2013
2242013
Verifying multi-agent programs by model checking
RH Bordini, M Fisher, W Visser, M Wooldridge
Autonomous agents and multi-agent systems 12, 239-256, 2006
2152006
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
2042006
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
2032001
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
1812012
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
1752004
Probabilistic symbolic execution
J Geldenhuys, MB Dwyer, W Visser
Proceedings of the 2012 International Symposium on Software Testing and …, 2012
1682012
Addressing dynamic issues of program model checking
F Lerda, W Visser
International SPIN Workshop on Model Checking of Software, 80-102, 2001
1582001
Reliability analysis in symbolic pathfinder
A Filieri, CS Păsăreanu, W Visser
2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013
1542013
Heuristics for model checking Java programs
A Groce, W Visser
International Journal on Software Tools for Technology Transfer 6, 260-276, 2004
1382004
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
1372005
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20