4 Schedule
Week |
| Paper |
| Presenter |
| Topic |
Sep 02 |
| Introduction to 838g. Code: Stack Compiler example, OCaml Fuzzing Example |
| Leo |
| Introduction |
Sep 07 |
| QuickCheck: A lightweight tool for Random Testing of Haskell Programs. (paper) (code) |
| Leo |
| Property-Based Testing - Basics |
| Testing an Optimizing Compiler by Generating Random Lambda Terms (paper) (slides) (code) |
| Leo |
| Property-Based Testing - Generation | |
Sep 09 |
| Fuzz Factory: Domain-Specific Fuzzing with Waypoints (paper) |
| Leo |
| Coverage-guided Fuzzing - Feedback |
Sep 14 |
| Generating Constrained Random Data with Uniform Distribution (paper) (slides) (code) |
| Segev |
| Property Based Testing - Constrained Generation |
Sep 16 |
| Beginner’s Luck: A Language for Property-Based Generators (paper) |
| Leo |
| Property Based Testing - Constrained Generation |
Sep 21 |
| Generating Good Generators for Inductive Relations (paper) (code) |
| Henry |
| Property Based Testing - Constrained Generation |
Sep 23 |
| Quickly Generating Diverse Valid Test Inputs with Reinforcement Learning (paper) (slides) (code) |
| Leo |
| Reinforcement Learning for Test Generation |
Sep 28 |
| Making Random Judgements: Automatically Generating Well-Typed Terms from the Definition of a Type System (paper) |
| Jacob |
| Property Based Testing - Constrained Generation |
Sep 30 |
| Coverage Guided Property Based Testing (paper) |
| Benjamin |
| Combining PBT + Fuzzing |
Oct 05 |
| Targeted Property-Based Testing (paper), Automatic Targeted Property-Based Testing (paper) |
| Mingwei |
| Generation Optimizing Utility Function |
Oct 07 |
| Semantic Fuzzing with Zest (paper) |
| Alperen |
| Validity Fuzzing |
Oct 12 |
| Clotho: A Racket Library for Parametric Generators (paper) |
| Justin |
| Parametric Randomness |
Oct 14 |
| Smart Greybox Fuzzing (paper) |
| Angeline |
| Smarter Mutations for Fuzzing |
Oct 19 |
| Parser-Directed Fuzzing (paper) |
| Deena |
| Getting through the parser with Fuzzing |
Oct 21 |
| Guest Lecture: Evaluating Fuzz Testing (paper) |
| Mike Hicks |
| How to correctly evaluate Fuzzing |
Oct 26 |
| FairFuzz (paper) |
| Pierce |
| Fair Mutations for Fuzzing |
Oct 28 |
| Finding and Understanding Bugs in C Compilers (paper) |
| Aaron |
| CSmith |
Nov 02 |
| Do Judge a Test by its Cover (paper) |
| Leo |
| Combining Combinatorial and Property-Based Testing |
Nov 04 |
| Take Home Midterm |
|
| ||
| CPDT material (put .v files in src/ ): Makefile, _CoqProject, CpdtTactics.v, MoreSpecif.v |
|
| |||
Nov 09 |
| Proof by Reflection Reflection.v |
|
| Challenge Exercises: Refl.v | |
Nov 11 |
| Midterm Review |
|
| ||
Nov 16 |
| Verifying Generators |
|
| ||
Nov 18 |
| Subset Types |
|
| ||
Nov 23 |
| Thanksgiving |
|
| ||
Nov 25 |
| Thanksgiving |
|
| ||
Nov 30 |
| Coinduction and General Recursion |
|
| ||
Dec 2 |
| Crush! |
|
| ||
Dec 7 |
| Student Presentations |
| Sign up here: Sign up sheet |
| |
Dec 9 |
| Student Presentations |
|
|