1. Herramientas
2. Model-based testing
3. Documentación sobre pruebas.
http://javatoolbox.com
http://www.softwareqatest.com
http://www.testingfaqs.org/tools.htm
http://opensourcetesting.org
TestNG (Java)
JUnit
Avignon (Java)
AGEDIS
Model-Based Testing Homepage
MicroSoft Abstract State Machine Language