Ant chap04
Black Box Testing
Testing Django Applications
Introduction to Unit Testing Svetlin Nakov Telerik Corporation .
icpc2013
Ideas for Test Improvement in PostgreSQL Galy Lee [email protected].
Team Project/Therac-26 Software Engineering [Exaile Music Player] Austin Baker Christoph Samitsch Jaime Miller Joshua Walton.
Software Testing: Test Design
PAT 3: An Extensible Architecture for Building Multi-domain Model Checkers
Yang Liu, Jun Sun and Jin Song Dong School of Computing National University of Singapore.
Scalable Multi-core Model Checking Fairness Enhanced Systems