Table of Contents
1 Assignments
1.1 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 |
1.1.1 Testing
- Introduction to Testing
- Random Fuzzing
- Code Coverage
- Mutation Testing
- Graybox Testing
- Search-Based Testing
- GenProg–Using GA to repair programs
- Mutation Analysis
- Testing with Grammars
- Reducing Failure-Inducing Inputs
- Statistical Debugging
1.1.2 Verification And Analysis
- Basic info on SAT solving, complexity, undecidability, etc
- Symbolic Execution
- Testing Deep Neural Networks using Symbolic Execution
- Introduction to Static Analysis
- Program Verification using Hoare Logic
- Abstract Interpretation: lectures/detail examples given in class