Darrell Bethea

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.

Who trusts Darrell Bethea overall

  1. Cristian Cadar
  2. David Lie

Papers from Darrell Bethea's perspective

Ordered by how strongly the researchers Darrell Bethea 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