"On the Coverage of Program Code by Specification-Based Tests."

Yuen-Tak Yu, Eric Ying Kwong Chan, Pak-Lok Poon (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics