SE 4367.001 - Software Testing Verification Validation and Quality Assurance

Spring 2021

Course Information

Location: MS Teams
Time: Tuesday & Thursday 11:30am - 12:45pm
Instructor: Wei Yang
Email: [email protected]
Office: ECSS 4.225
Office Hours: By Appointment
TA: Mirazul Haque
Email: [email protected]
Office: MS Teams
Office Hours: TBD

Course Style

This course is taught in a lecture-course style. Each student will be expected to accomplish:


We do not have textbooks but you can refering to following books for background knowledge.
Static Program Analysis
The Fuzzing Book
The Art and Science of Analyzing Software Data (using UTD email to access)
Dive into Deep Learning
Building Intelligent Systems: A Guide to Machine Learning Engineering (using UTD email to access)
Hands-On Machine Learning with Scikit-Learn, Keras, and TensorFlow (using UTD email to access)

Machine Problems

MP1: Static Analysis and Soot

Schedule and Lecture Slides

Week Dates Topic
1.1 Jan. 19th Course Overview [Slides] [Video]
1.2 Jan. 21st Software Analysis Foundation (1) [Slides] [Video] [Reading1] [Reading2]
2.1 Jan. 26th Software Analysis Foundation (2) [Slides] [Video] [Reading1] [Reading2]
2.2 Jan. 28th Software Analysis Tools [Slides] [Video] [Reading1] [Reading2]
3.1 Feb. 2nd Testing (1) [Slides] [Video] [Reading1] [Reading2]
3.2 Feb. 4th Testing (2) [Slides] [Video] [Reading1] [Reading2]
4.1 Feb. 9th Fuzzing (1) [Slides] [Video] [Reading1] [Reading2]
4.2 Feb. 11th Fuzzing (2) [Slides] [Video] [Reading1] [Reading2] [Reading3]
5.1 Feb. 23rd Data-flow Analysis (1) [Slides] [Video] [Reading1] [Reading2]
5.2 Feb. 25th Data-flow Analysis (2) [Slides] [Video] [Reading1] [Reading2]
5.3 March. 2nd Data-flow Analysis (3) [Slides] [Video] [Reading1] [Reading2]
6.1 March. 4th Pointer Analysis (1) [Slides] [Video] [Reading1] [Reading2]