A number of structural coverage criteria have been proposed to measure the adequacy of
testing efforts. In the avionics and other critical systems domains, test suites satisfying …

In previous decades, researchers have explored the formal foundations of program testing.
By exploring the foundations of testing largely separate from any specific method of testing …

Software testing is a widely used technique to ensure the quality of software systems. Code
coverage measures are commonly used to evaluate and improve the existing test suites …

One of the requirements of Modified Condition and Decision Coverage (MCDC) is that test
cases should be selected to demonstrate that a condition can independently affect the …

In the avionics domain, the use of structural coverage criteria is legally required in
determining test suite adequacy. With the success of automated test generation tools, it is …

In testing, the test oracle is the artifact that determines whether an application under test
executes correctly. The choice of test oracle can significantly impact the effectiveness of the …

In the field of database applications a considerable part of the business logic is implemented
using a semi‐declarative language: the Structured Query Language (SQL). Because of the …

In many critical systems domains, test suite adequacy is currently measured using structural
coverage metrics over the source code. Of particular interest is the modified …

Test adequacy metrics defined over the structure of a program, such as Modified Condition
and Decision Coverage (MC/DC), are used to assess testing efforts. However, MC/DC can …

MC/DC coverage prescribes a set of MC/DC sequences. Such a sequence is defined by a
specification of the truth values of certain atomic boolean expressions which appear in …