CS 6340: Software Analysis & Testing

1. Introduction to Software Analysis

2. Introduction to Software Testing

3. Random Testing

4. Automated Test Generation

5. Dataflow Analysis

6. Pointer Analysis

7. Constraint-based Analysis

8. Type Systems

9. Statistical Debugging

10. Delta Debugging

11. Dynamic Symbolic Execution