… 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]… The notion of approximation coverage is developed. It is applicable to first … corresponding to the attributes, conditions, and computations. The coverage notion … algorithm for test sets achieving coverage. The coverage notion facilitates testing …
informaticaSI, 24(3), 2000. [doi]… Test coverage is an important indicator for unit test quality. Tools such as Clover compute coverage by first instrumenting the code with logging functionality … computation of test coverage is a dynamic analysis, it presupposes a working …
Source Code Analysis and Manipulation, IEEE International Workshop on, 0, 2009. [doi]… Test coverage is an important indicator for unit test quality. Tools such as Clover compute coverage by first instrumenting the code with logging functionality … computation of test coverage is a dynamic analysis, it presupposes a working …
SCAM 2009: 55-64 [doi]… approximations of naive combinatorial coverage. In this paper, we describe the notion of controllable combinatorial coverage and a corresponding algorithm … and understandable approximations of full combinatorial coverage.
The approach has been …
pts 2006: 19-38 [doi]… of grammar-rule coverage as a pivot for the reduction of an implementation-based … with respect to code coverage and more importantly, fault detection. This work … testing to compare the effectiveness of grammar-rule coverage …
ese, 13(4):343-368, 2008. [doi]… of such a test suite, coverage achieved by test cases with regards to the system under test must be systematically measured. Specification-based or code-based coverage …-based coverage analysis for model transformation chains and show how …
ICMT 2011: 78-92… This thesis presents two algorithmic implementations of multi-robot formation control for the area coverage problem. It uses a space exploration scenario … area coverage is seen as one of the canonical problems in multi-robot …
Master's thesis, Helsinki University of Technology, Espoo, Finland, 2009.… coverage for grammars, that is, context-dependent branch coverage. We investigate grammar testing, especially coverage analysis, test set generation …
FASE 2001: 201-216 [doi]