Willem Visser

Cited by

	All	Since 2018
Citations	10952	2931
h-index	48	26
i10-index	95	57

680

340

170

510

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202342 103 181 196 332 427 423 514 542 554 529 511 527 571 590 666 570 540 608 631 605 493 441 151

Public access

View all

13 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
John PenixGoogle, IncVerified email at google.com
Jaco GeldenhuysAmazon Web ServicesVerified email at amazon.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Antonio FilieriAWS, Imperial College LondonVerified email at imperial.ac.uk
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSVerified email at pucrs.br
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Radek PelánekMasaryk universityVerified email at fi.muni.cz
Michael FisherProfessor of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Heila (van der Merwe) BothaComputer Science Division, Stellenbosch University, South AfricaVerified email at cs.sun.ac.za
Brink van der MerweComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Neha RungtaAmazon Web ServicesVerified email at amazon.com
Rich WashingtonGoogleVerified email at google.com
Bach LeSchool of Computing and Information Systems, The University of MelbourneVerified email at unimelb.edu.au

Willem Visser

Computer Science Division, Stellenbosch University

Verified email at cs.sun.ac.za - Homepage

Testing Symbolic Execution Software Engineering Model Checing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	2051	2000
Generalized symbolic execution for model checking and testing S Khurshid, CS Păsăreanu, W Visser Tools and Algorithms for the Construction and Analysis of Systems: 9th …, 2003	783	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	682	2004
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	472	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	355	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, 339-353, 2009	310	2009
What went wrong: Explaining counterexamples A Groce, W Visser Model Checking Software: 10th International SPIN Workshop Portland, OR, USA …, 2003	294	2003
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	264	2000
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	224	2013
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	223	2017
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	213	2006
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	203	2001
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	202	2006
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	178	2012
Verification of Java programs using symbolic execution and invariant generation CS Păsăreanu, W Visser Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain …, 2004	174	2004
Probabilistic symbolic execution J Geldenhuys, MB Dwyer, W Visser Proceedings of the 2012 International Symposium on Software Testing and …, 2012	161	2012
Addressing dynamic issues of program model checking F Lerda, W Visser Model Checking Software: 8th International SPIN Workshop Toronto, Canada …, 2001	161	2001
Reliability analysis in symbolic pathfinder A Filieri, CS Păsăreanu, W Visser 2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013	152	2013
Heuristics for model checking Java programs A Groce, W Visser International Journal on Software Tools for Technology Transfer 6, 260-276, 2004	139	2004
Model checking Java programs using structural heuristics A Groce, W Visser Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002	134	2002

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors