Schedule for CS 206
Testing and Verification Techniques in Software Engineering
Fall 2009

Date Topic to be covered Lecture Notes
Th, 9/24 Testing: Chapter 1 -- Basics PDF..... PPT
T, 9/29 Testing: Chapter 2 -- Test Generation from Requirements PDF..... PPT
Th, 10/1 Testing: Chapter 2 Contd. .....
T, 10/6 Testing: Chapter 2 Contd. .....
Th, 10/8 Testing: Chapter 3 -- Test Generation from FSMs PDF..... PPT
T, 10/13 Testing: Chapter 3 Contd. .....
Th, 10/15 Testing: Chapter 6 -- Test Adequacy using Control and Data Flow PDF..... PPT
T, 10/20 Testing: Chapter 6 Contd. .....
Th, 10/22 Testing: Chapter 7 -- Test Adequacy Enhancement using Program Mutation PDF..... PPT
T, 10/27 Testing: Chapter 5 -- Regression Testing PDF..... PPT
Th, 10/29 Testing: Chapter 5 Contd. .....
T, 11/3 Debugging: Fault Location Via Dynamic Slicing PDF..... PPT
Th, 11/5 Debugging: Fault Location Via State Alteration PDF..... PPT
T, 11/10 Research Presentations .
Th, 11/12 Research Presentations .
T, 11/17 Research Presentations .
Th, 11/19 Research Presentations .
T, 11/24 Research Presentations .
Th, 11/26 Thanksgiving .
T, 12/1 Research Presentations .
Th, 12/3 Exam Exam