Jan K. Pachl
-
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
CORDS: status and directions
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2