Paper Reading: "Cloning Considered Harmful: Considered Harmful

Paper Reading: Go To Statement Considered Harmful

Paper Reading: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs

Paper Reading: CUTE: A Concolic Unit Testing Engine for C

Paper Reading: Selection and Presentation Practices for Code Example Summarization

Paper Reading: Finding and Understanding Bugs in C Compilers

Paper Reading: Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges

Paper Reading: The Art of Testing Less without Sacrificing Quality

Paper Reading: Boosting Fuzzer Eficiency: An Information Theoretic Perspective

Paper Reading: How Effective Developers Investigate Source Code: An Exploratory Study