Web Resources
Software Error Detection through Testing and Analysis by J.C. Huang
Powerpoint Slides:
Chapter 1 Concepts, Notation, and Principles
Chapter 2 Code-Based Test-Case Selection Methods
Chapter 3 Specification-Based Test-Case Selection Methods
Chapter 4 Software Testing Roundup
Chapter 5 Analysis of Symbolic Traces
Chapter 6 Static Analysis
Chapter 7 Program Instrumentation
Appendix Logico-methametical background
Exercises:
Typical Answers