Concepedia

Willem Visser

WV

Statistics

Publications

75

Citations

6.3K

H-Index

36

Active since

1996

Affiliations

Stellenbosch University(Current)

Ames Research Center

Research Institute for Advanced Computer Science

Carnegie Mellon University

University of Nebraska–Lincoln

Willem Visser is an author at Stellenbosch University specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationSoftware AnalysisVerificationProgram AnalysisSoftware TestingSoftware EngineeringAutomated Reasoning

Publications per year

1996–2023

75

Publications

75

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.3K citations

Test input generation with java PathFinder

Willem Visser, Corina S. Păsăreanu, Sarfraz Khurshid · 2004 · 500 citations

Engineering, Verification, Test Data Generation +21

Model checking programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · 2000 · 337 citations

Program Checking, Engineering, Verification +17

Symbolic execution for software testing in practice

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid et al. · 2011 · 325 citations

Software Maintenance, Engineering, Verification +19

A survey of new trends in symbolic execution for software testing and analysis

Corina S. Păsăreanu, Willem Visser · International Journal on Software Tools for Technology Transfer · 2009 · 229 citations

Software Maintenance, Engineering, Verification +16

1–5 of 75