… In-house or private coverage-based test tools are not in the … coverage-based test tools, our
goal was to evaluate an in-house tool suite, eXVantage (a tool suite for code coverage testing, …

… based tests, we have implemented a property-based test case … to requirements-based testing
and the test coverage criteria … we generate requirements-based tests for the FGS example …

… test case generation techniques for path coverage; (c) advanced coverage-based test suite
… are described in 8 Test Suite Minimization: Covering Complex, 9 Test Suite Minimization: …

… can reduce the cost of testing. We observe that for mutation-based test sets, the order in
which the test cases are executed impacts the size of the test sets. This paper presents several …

… -based filtering and prioritization techniques are examples of observation-based testing, which
is … Our experimental results show that both coveragebased and distribution-based filtering …

… These criteria are concerned with how well a test case exercises the conditions guarding …
in specification-based testing). For example, basic condition coverage requires test cases that …

… was studied as an adequacy criterion for operational profile-based testing. Here we exploit
operational coverage to support test selection, precisely we propose that among several test …

… coverage criteria in mind, recently many researchers have used coverage-criteria-based
testing … (which we will now on refer to as coverage-based V&V and safety assurance of SAVs). …

… of LOTOS and LTS based testing in Section 2. Then, we define coverage criteria for LOTOS
… necessary information, and describe how the coverage test purposes are derived. In Section …

… discuss how coverage criteria can help to select meaningful test suites… coverage criteria
used in the context of model based testing approaches which are adapted from white-box testing…