Title: A specification-based coverage metric to evaluate test sets
Subjects: Testing, Software measurement, Evaluation, Computer software