ICECCS
2000
IEEE
13 years 8 months ago
2000
IEEE
This paper compares three specification-based testing criteria using Mathur and Wong's PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full pred...