Software Analysis and Testing
graduate course, Institute for Network Science and Cyberspace, 2019
Instructor: Chao Zhang (张超)
This course covers the following topics:
- Data-flow Analysis
- Control-flow Analysis
- Abstract Interpretation
- Symbolic Execution
- Fuzz Testing
- AI-based Analysis