Robert A. Cochran

2011

A researcher in the Science corpus: 1 paper; trusts 0 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Papers from Robert A. Cochran's perspective

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

  1. A method for the construction of minimum-redundancy codes
  2. CUTE: a concolic unit testing engine for C (ESEC/FSE-13)
  3. Dynamic Taint Analysis for Automatic Detection, Analysis, and SignatureGeneration of Exploits on Commodity Software (Network and Distributed System Security Symposium)
  4. Symbolic execution and program testing
  5. EXE: automatically generating inputs of death
  6. A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (Network and Distributed System Security Symposium)
  7. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  8. Model checking programs (Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering)
  9. ESP: path-sensitive program verification in polynomial time (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Automatically validating temporal safety properties of interfaces (SPIN)

Their papers