Paper Reading: Lightweight Verification of Array Indexing

Paper Reading: Modular Checking for Buffer Overflows in the Large

Paper Reading: Precise Interprocedural Dataflow Analysis via Graph Reachability

Paper Reading: Mining Input Grammars from Dynamic Taints

Paper Reading: Dynamic Taint Analysis for Automatic Detection, Analysis, and Signature Generation of Exploits on Commodity Software

Paper Reading: The Fundamentals of Writing Questions

Paper Reading: All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask)

Paper Reading: ReCrash: Making Software Failures Reproducible by Preserving Object States

Paper Reading: Evolutionary Generation of Whole Test Suites

Paper Reading: Feedback-Directed Random Test Generation