Willem Visser

Cited by

	All	Since 2016
Citations	9748	2865
h-index	46	26
i10-index	89	56

680

340

170

510

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202135 69 187 212 341 427 426 502 558 546 535 499 526 552 572 663 562 527 596 635 521 19

Co-authors

Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
John PenixGoogle, IncVerified email at google.com
Jaco GeldenhuysAssociate Professor, Computer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Rafael H. BordiniEscola Politécnica PUCRSVerified email at pucrs.br
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityVerified email at nau.edu
Antonio FilieriLecturer (Assistant Professor), Imperial College LondonVerified email at imperial.ac.uk
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
Heila (van der Merwe) BothaComputer Science Division, Stellenbosch University, South AfricaVerified email at cs.sun.ac.za
Saswat AnandGoogleVerified email at cs.stanford.edu
Cyrille ArthoKTH Royal Institute of Technology, SwedenVerified email at kth.se
Brink van der MerweComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Rich WashingtonGoogleVerified email at google.com
Neha RungtaAmazon Web ServicesVerified email at amazon.com
Marcel DunaiskiComputer Science Division, Stellenbosch UniversityVerified email at ml.sun.ac.za

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
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1885	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	709	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	624	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	409	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	312	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-353, 2009	284	2009
What went wrong: Explaining counterexamples A Groce, W Visser International SPIN Workshop on Model Checking of Software, 121-136, 2003	262	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	254	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	195	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	193	2006
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	188	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	179	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	164	2004
Addressing dynamic issues of program model checking F Lerda, W Visser International SPIN Workshop on Model Checking of Software, 80-102, 2001	152	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	138	2012
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	134	2017
Model checking Java programs using structural heuristics A Groce, W Visser Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002	129	2002
Heuristics for model checking Java programs A Groce, W Visser International Journal on Software Tools for Technology Transfer 6 (4), 260-276, 2004	126	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	125	2005
Reliability analysis in symbolic pathfinder A Filieri, CS Păsăreanu, W Visser 2013 35th International Conference on Software Engineering (ICSE), 622-631, 2013	124	2013

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

Upload PDF

Follow this author

Cited by

Co-authors