Specification coverage as a measure of test suite quality. Septermber 25 (2001)

by Michael Harder, Benjamin Morse, Michael D Ernst