Publication

A Theory of Specification-Based Testing for Object-Oriented Software