W. Visser

Statistics

Publications

Citations

H-Index

Active since

2000

Affiliations

Research Institute for Advanced Computer Science(Current)

Ames Research Center

W. Visser is an author at Research Institute for Advanced Computer Science specializing in system software, program analysis, and formal verification.

Top concepts

EngineeringVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware Engineering

Publications per year

2000–2005

Publications

Using predicate abstraction to reduce object-oriented programs for model checking

W. Visser, SeungJoon Park, John Penix · 2000 · 50 citations

Program Checking, Engineering, Verification +19

Combining static analysis and model checking for software analysis

Guillaume Brat, W. Visser · 2005 · 45 citations

Software Maintenance, Program Checking, Engineering +18

1–2 of 2