My lecture notes shouldn’t be a substitute for your own, but I make them publicly available in case they are useful.
Table of contents
- Lecture 1 - Introduction and Overview
- Lecture 2 - Just et al FSE 2014 Mutants + Real Faults
- Lecture 3 - Schuler & Zeller ICST 2011, Checked Coverage
- Lecture 4 - Miller et al CACM 1990, "An empirical study of the reliability of UNIX utilities"
- Lecture 5 - AFL
- Lecture 6 - Chen et al ICSE 2019 Deep Differential JVM Testing
- Lecture 7 - Donaldson et al OOPSLA 2017 Automated Testing of Graphics Shader Compilers
- Lecture 8 - Ernst et al, ICSE '99 Dynamically Discovering Likely Program Invariants to Support Program Evolution
- Lecture 9 - Legunsen et al, ASE '16 How Good Are the Specs?
- Lecture 10 - Coverage-based Greybox Fuzzing as Markov Chain - "AFLFast"
- Lecture 11 - AFL++ Combining Incremental Steps of Fuzzing Research
- Lecture 12 - KLEE Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- Lecture 13 - On the Techniques We Create, the Tools We Build, and Their Misalignments, a Study of KLEE
- Lecture 14 - Finding and Understanding Bugs in C Compilers
- Lecture 15 - Semantic Fuzzing with Zest
- Lecture 16 - FuzzBench An Open Fuzzer Benchmarking Platform and Service
- Lecture 17 - UniFuzz A Holistic and Pragmatic Metrics-Driven Platform for Evaluating Fuzzers
- Lecture 18 - Automatic Creation of SQL Injection and Cross-Site Scripting Attacks
- Lecture 19 - HotFuzz: Discovering Algorithmic Denial-of-Service Vulnerabilities Through Guided Micro-Fuzzing
- Lecture 20 - Feedback-directed Random Test Generation
- Lecture 21 - Evolutionary Generation of Whole Test Suites
- Lecture 22 - Debugging Reinvented: Asking and Answering Why and Why Not Questions about Program Behavior
- Lecture 23 - Fuzzing the Rust Typechecker using CLP
- Lecture 24 - JUSTGen: Effective Test Generation for Unspecified JNI Behaviors on JVMs
- Lecture 25 - GenProg: A Generic Method for Automatic Software Repair
- Lecture 26 - An Analysis of Patch Plausibility and Correctness for Generate-and-Validate Patch Generation Systems