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
Learning Resource Types
notes
Lecture Notes
assignment
Programming Assignments
