Lecture Notes
lec5.pdf
Description:
This resource contains the following topics Program verification techniques and input space partitioning, Heuristics for test case selection, Black-box testing, Clear-box testing, Test strategy and automation, Static verification.
Resource Type:
Lecture Notes
pdf
111 kB
lec5.pdf
Course Info
Instructors
Departments
As Taught In
Fall
2005
Level
Course Info
Instructors
Departments
As Taught In
Fall
2005
Level
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
