Willem Visser

Citado por

	Todos	Desde 2016
Citações	9561	2839
Índice h	47	26
Índice i10	86	54

660

330

165

495

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202131 73 182 216 338 435 410 501 543 536 520 497 520 542 565 660 542 523 608 630 518 13

Coautores

Corina PasareanuCMU/NASA AmesE-mail confirmado em nasa.gov
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryE-mail confirmado em jpl.nasa.gov
John PenixGoogle, IncE-mail confirmado em google.com
Jaco GeldenhuysAssociate Professor, Computer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
Matthew DwyerUniversity of VirginiaE-mail confirmado em virginia.edu
Sarfraz KhurshidProfessor, University of Texas at AustinE-mail confirmado em ece.utexas.edu
Michael WooldridgeUniversity of OxfordE-mail confirmado em cs.ox.ac.uk
Rafael H. BordiniEscola Politécnica PUCRSE-mail confirmado em pucrs.br
Alex GroceAssociate Professor of Computer Science, Northern Arizona UniversityE-mail confirmado em nau.edu
Radek PelánekMasaryk universityE-mail confirmado em fi.muni.cz
Antonio FilieriLecturer (Assistant Professor), Imperial College LondonE-mail confirmado em imperial.ac.uk
Michael FisherProfessor of Computer Science, University of ManchesterE-mail confirmado em manchester.ac.uk
Koushik SenProfessor of Computer Science, University of California, BerkeleyE-mail confirmado em cs.berkeley.edu
Heila (van der Merwe) BothaComputer Science Division, Stellenbosch University, South AfricaE-mail confirmado em cs.sun.ac.za
Saswat AnandGoogleE-mail confirmado em cs.stanford.edu
Cyrille ArthoKTH Royal Institute of Technology, SwedenE-mail confirmado em kth.se
Brink van der MerweComputer Science Division, Stellenbosch UniversityE-mail confirmado em cs.sun.ac.za
Rich WashingtonGoogleE-mail confirmado em google.com
Neha RungtaAmazon Web ServicesE-mail confirmado em amazon.com
Grigore RosuUniversity of Illinois at Urbana ChampaignE-mail confirmado em illinois.edu

Willem Visser

Computer Science Division, Stellenbosch University

E-mail confirmado em cs.sun.ac.za - Página inicial

Testing Symbolic Execution Software Engineering Model Checing


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
Model checking programs W Visser, K Havelund, G Brat, SJ Park, F Lerda Automated software engineering 10 (2), 203-232, 2003	1844	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	689	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	609	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	396	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	306	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, 2009	280	2009
What went wrong: Explaining counterexamples A Groce, W Visser International SPIN Workshop on Model Checking of Software, 121-136, 2003	257	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	194	2001
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	187	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	183	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	172	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	158	2004
Addressing dynamic issues of program model checking F Lerda, W Visser International SPIN Workshop on Model Checking of Software, 80-102, 2001	150	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	139	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	132	2017
Probabilistic symbolic execution J Geldenhuys, MB Dwyer, W Visser Proceedings of the 2012 International Symposium on Software Testing and …, 2012	126	2012
Model checking Java programs using structural heuristics A Groce, W Visser Proceedings of the 2002 ACM SIGSOFT international symposium on Software …, 2002	125	2002
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
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	123	2005

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Fazer upload de PDF

Seguir este autor

Citado por

Coautores