Software Testing

Program-Transformation.Org: The Program Transformation Wiki
Chapter 5 of the SWEBOK guide defines testing as follows:
  • Software testing consists of the dynamic verification of the behavior of a program on a finite set of test cases, suitably selected from the usually infinite executions domain, against the specified expected behavior.

Resources include:
Brian Marick has an excellent tutorial on glass box testing, called Testing for Programmers. Available on line from

CategorySoftwareEvolution | ArieVanDeursen