A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2013; you can also visit the original URL.
The file type is
Structural coverage criteria are often used as an indicator of the thoroughness of testing, but complete satisfaction of a criterion is seldom achieved. When a software product is released with less than 100% coverage, testers are explicitly or implicitly assuming that executions satisfying the remaining test obligations (the residue) are either infeasible or occur so rarely that they have n e gligible impact on quality. Violation of this assumption indicates shortcomings in the testingdoi:10.1145/302405.302637 dblp:conf/icse/PavlopoulouY99 fatcat:bquckfb7hfh3hpzwzpwejfrchy