Michael W. Whalen Ajitha Rajan Mats Per Erik Heimdahl Steven P. Miller Coverage metrics for requirements-based testing. 25-36 2006 conf/issta/2006 ISSTA http://doi.acm.org/10.1145/1146238.1146242 db/conf/issta/issta2006.html#WhalenRHM06