class-tva

Announcements

T 9/8	PA-1 due at 11:59PM
T 9/22	PA-2 due at 11:59PM
F 9/25	Project Proposal due at 11:59PM
T 9/22	In-class assignment 1 due at 11:59
F 9/25	In-class assignment 1 redo, due at 11:59PM

Class notes

• Important: these notes do not replace information presented in class (i.e., you still need to attend and pay attention in class to understand materials)

Topics

• We will read chapters in the Fuzzing Book and presentation slides on various program testing, verification, and analysis topics.

Testing

1. Introduction to Testing
2. Random Fuzzing
3. Code Coverage
4. Mutation Testing
5. Graybox Testing
6. Search-Based Testing
7. GenProg–Using GA to repair programs
8. Mutation Analysis
9. Testing with Grammars
10. Reducing Failure-Inducing Inputs
11. Statistical Debugging

Verification And Analysis

1. Tracking Information Flow
2. Basic info on SAT solving, theorems, proofs, etc
3. Concolic Execution
4. Symbolic Execution
5. Invariants/Specifications Inference
6. Introduction to Static Analyis, the WHILE language
7. Operational Semantics (Big-Step Semantics)
8. Program Verification using Hoare Logic, additional notes
9. Abstract Interpretation: lectures/detail examples given in class, a PPT slide is also available

PROJECT INFO

Links

• Main page