"Specification Coverage Aided Test Selection."

Tuomo Pyhälä, Keijo Heljanko (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics