David Notkin

Computational Theory and Mathematics · 2001–2005

A researcher in the Science corpus: 3 papers; trusts 8 researchers and is trusted by 9 researchers here, as inferred from the citation graph.

Subfields

Whom David Notkin trusts overall

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

  1. Willem Visser
  2. Sarfraz Khurshid
  3. Gary T. Leavens

Who trusts David Notkin overall

  1. Koushik Sen
  2. Jonathan Aldrich
  3. Kung-Kiu Lau

Papers from David Notkin's perspective

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

  1. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  2. Korat: automated testing based on Java predicates (International Symposium on Software Testing and Analysis)
  3. Symbolic execution and program testing
  4. Simplify: a theorem prover for program checking (JACM)
  5. Generalized Symbolic Execution for Model Checking and Testing (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  6. Software Verification with BLAST (SPIN)
  7. A Simple and Practical Approach to Unit Testing: The JML and JUnit Way (European Conference on Object-Oriented Programming)
  8. The C Programming Language
  9. Test input generation with java PathFinder (International Symposium on Software Testing and Analysis)
  10. JCrasher: an automatic robustness tester for Java (Software, Practice & Experience)

Their papers