Paper Reading: Breaking the Barriers to Successful Refactoring: Observations and Tools for Extract Method

Paper Reading: QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Paper Reading: Semantic Fuzzing with Zest

Paper Reading: How We Refactor, and How We Know It

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