Specification Coverage Aided Test Selection. - Tuomo Pyhälä; Keijo Heljanko (ACSD, 2003)