Assignments

Due Dates

Date	Assignments
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
F 10/9	PA-3 due at 11:59PM
R 10/8	In-class assignment 2, due at 10:59AM
R 10/8	Midterm Review
T 10/13	Midterm, due at 10:59AM R 10/15
T 10/27	PA-4 due at 11:59PM
R 11/05	In-class assignment 3, due at 10:59AM
T 11/10	In-class assignment 4, due at 10:59AM
R 11/12	Project Presentation Group 1 (report due within 3 days)
T 11/17	Project Presentation Group 2 (report due within 3 days)
R 11/19	Final Review
M 11/21	Final, due at 11:59 PM T 11/24

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. Basic info on SAT solving, complexity, undecidability, etc
2. Symbolic Execution
3. Testing Deep Neural Networks using Symbolic Execution
4. Introduction to Static Analysis
5. Program Verification using Hoare Logic
6. Abstract Interpretation: lectures/detail examples given in class