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:

The Software Testing On Line Resources (STORM)at http://www.mtsu.edu/~storm/
Brett Pettichord's Software Testing Hotlist at http://www.io.com/~wazmo/qa/
Testing: A Roadmap. Mary Jean Harrold. In Future of Software Engineering, 22nd International Conference on Software Engineering, June 2000. http://www.cc.gatech.edu/aristotle/Publications/Papers/icse00-testing-roadmap.pdf
IFIP TestCom conference on software testing
The ISSTA conferences
http://www.testingeducation.org/
http://www.soft.com/Institute/HotList/

Brian Marick has an excellent tutorial on glass box testing, called Testing for Programmers. Available on line from http://www.testing.com/writings/half-day-programmer.pdf