… Test coverage is an important indicator for unit test quality. Tools … computation of test coverage is a dynamic analysis, it presupposes a working … a technique for estimating test coverage at method level through static analysis only …
Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2009. [doi]… Test coverage is an important indicator for unit test quality. Tools … computation of test coverage is a dynamic analysis, it presupposes a working … a technique for estimating test coverage at method level through static analysis only …
SCAM 2009: 55-64 [doi]… This paper discusses the use of systematic stuck faults to test the coverage of a suite of tests. This methodology was found to be useful in developing full coverage and to create a short suite with high coverage for a quick test …
isqed 2003: 75-78 [doi]… A signature-parametric (say generic) framework for test case characterisation, and definition of test set coverage criteria is developed. The signature might … properties for test set coverage criteria can be conceived in the framework. …
In Proc.\ Formal Approaches to Testing of Software (FATES'01). 2001: 109-124 [doi]