Concepedia

Willem Visser

WV

Statistics

Publications

76

Citations

6.5K

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 computer science, computing, and formal methods.

Publications per year

1996–2023

76

Publications

76

Model Checking Programs

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

Computing, Aerospace Engineering, Computer Science +13

Test input generation with java PathFinder

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

Computing, Computer Science, Data Structures +16

Model checking programs

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

Computing, Aerospace Engineering, Computer Science +13

Symbolic execution for software testing in practice

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

Computing, Computer Science, Algorithms +9

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 · 232 citations

Computing, Computer Engineering, Computer Science +14

1–5 of 76