Education
Explore our educational resources and courses
Course Information
Software Testing and Analysis
Course Type Specialized Course
Instructor Jun Yan
A specialized course for senior undergraduate students in the School of Computer Science, offered every fall semester.
Software Analysis and Testing
Course Type Specialized Course
Instructor Jun Yan
A graduate-level course for first-year graduate students, co-taught with Researcher Yan Cai every fall semester.
Textbooks
Automatic Generation of Combinatorial Test Data
Author： Jian Zhang, Zhiqiang Zhang, Feifei Ma
Logic in Computer Science
Author： Hantao Zhang, Jian Zhang
Integrated Circuit Verification
Author： Haihua Shen, Feng Zhang, Xiang Le
Lecture Notes
1
Software Testing and Analysis - Beijing Excellent Teaching Plan
2
Advanced Computer Architecture Course Materials
Teaching Platform
Intelligent Teaching Platform System Software v1.0
Modern educational support platform