Willem Visser

Citée par

	Toutes	Depuis 2018
Citations	11185	3167
indice h	48	27
indice i10	96	58

680

340

170

510

20002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202341 99 185 209 333 441 414 511 542 542 525 516 522 570 590 672 562 542 613 646 595 503 450 358

Accès public

Tout afficher

13 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Corina PasareanuCMU/NASA AmesAdresse e-mail validée de nasa.gov
John PenixGoogle, IncAdresse e-mail validée de google.com
Jaco GeldenhuysAmazon Web ServicesAdresse e-mail validée de amazon.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryAdresse e-mail validée de jpl.nasa.gov
Matthew DwyerUniversity of VirginiaAdresse e-mail validée de virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinAdresse e-mail validée de ece.utexas.edu
Antonio FilieriAWS, Imperial College LondonAdresse e-mail validée de imperial.ac.uk
Michael WooldridgeUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
Rafael H. BordiniSchool of Technology, PUCRSAdresse e-mail validée de pucrs.br
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityAdresse e-mail validée de nau.edu
Radek PelánekMasaryk universityAdresse e-mail validée de fi.muni.cz
Michael FisherProfessor of Computer Science, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyAdresse e-mail validée de cs.berkeley.edu
Cyrille ArthoKTH Royal Institute of Technology, SwedenAdresse e-mail validée de kth.se
Heila (van der Merwe) BothaComputer Science Division, Stellenbosch University, South AfricaAdresse e-mail validée de cs.sun.ac.za
Neha RungtaAmazon Web ServicesAdresse e-mail validée de amazon.com
Brink van der MerweComputer Science Division, Stellenbosch UniversityAdresse e-mail validée de cs.sun.ac.za
Grigore RosuUniversity of Illinois at Urbana ChampaignAdresse e-mail validée de illinois.edu
Rich WashingtonGoogleAdresse e-mail validée de google.com
Bach LeSchool of Computing and Information Systems, The University of MelbourneAdresse e-mail validée de unimelb.edu.au

Suivre

Willem Visser

Computer Science Division, Stellenbosch University

Adresse e-mail validée de cs.sun.ac.za - Page d'accueil

Testing Symbolic Execution Software Engineering Model Checing


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	2065	2000
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	791	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	701	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	497	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	358	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	320	2009
What went wrong: Explaining counterexamples A Groce, W Visser International SPIN Workshop on Model Checking of Software, 121-136, 2003	305	2003
Java PathFinder? a second generation of a Java model checker G Brat Workshop on Advances in Verification, 2000, 2000	268	2000
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	237	2017
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	225	2013
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	217	2006
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	204	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
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	185	2012
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	176	2004
Probabilistic symbolic execution J Geldenhuys, MB Dwyer, W Visser Proceedings of the 2012 International Symposium on Software Testing and …, 2012	171	2012
Addressing dynamic issues of program model checking F Lerda, W Visser International SPIN Workshop on Model Checking of Software, 80-102, 2001	159	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	158	2013
Heuristics for model checking Java programs A Groce, W Visser International Journal on Software Tools for Technology Transfer 6, 260-276, 2004	140	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	138	2005

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs