Guidelines for coverage-based comparisons of non-adequate test suites