Paper Reading: A Practical Guide for Using Statistical Tests to Assess Randomized Algorithms in Software Engineering

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

Paper Reading: Semantic Fuzzing with Zest

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: Finding and Understanding Bugs in C Compilers

Paper Reading: Boosting Fuzzer Eficiency: An Information Theoretic Perspective

Paper Reading: An empirical study of the reliability of UNIX utilities