Willem Visser

Software · 2000–2011

A researcher in the Science corpus: 4 papers; trusts 13 researchers and is trusted by 27 researchers here, as inferred from the citation graph.

Subfields

Whom Willem Visser trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Thomas Ball
  2. Sarfraz Khurshid
  3. Chandrasekhar Boyapati
  4. Sriram K. Rajamani
  5. Thomas A. Henzinger
  6. Darko Marinov
  7. Corina S. Pasareanu
  8. Rupak Majumdar
  9. Gregory Tassey
  10. Klaus Havelund

Who trusts Willem Visser overall

  1. Koushik Sen
  2. Patrice Godefroid
  3. Tao Xie
  4. Rupak Majumdar
  5. Darko Marinov
  6. Carlos Pacheco
  7. Greg Nelson
  8. Dawson R. Engler
  9. Corina S. Pasareanu
  10. Sarfraz Khurshid

Papers from Willem Visser's perspective

Ordered by how strongly the researchers Willem Visser trusts endorse each paper. Same corpus, a different order for every researcher.

  1. DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. The SLAM project: debugging system software via static analysis
  3. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  4. Automatic predicate abstraction of C programs (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Symbolic execution and program testing
  6. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  7. The pointer assertion logic engine (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Introduction to algorithms
  9. Boolean and Cartesian abstraction for model checking C programs (International Journal on Software Tools for Technology Transfer (STTT))
  10. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)

Their papers