Reading list

Dynamic Invariant Generation

• The Daikon system for dynamic detection of likely invariants
• Using dynamic analysis to discover polynomial and array invariants

Testing

• A survey of symbolic execution techniques
• Evaluating fuzz testing
• Mutation (read Mutation Testing from Fuzzing Book)

Verification

• An axiomatic basis for computer programming
• Model checking: algorithmic verification and debugging : model checking, abstract interpretation, symbolic testing

Synthesis/Repair

• Genprog: A generic method for automatic software repair
• Syntax-guided synthesis

Modern Applications

• A review of formal methods applied to machine learning

Book

• Fuzzing Book