79 posts in total
2022
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
Paper Reading: Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges