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 …

Test Coverage is an important indicator of software quality and an essential part of software
maintenance. It helps in evaluating the effectiveness of testing by providing data on different …

White-box testing is an effective technique for generating test cases to provide high
coverage for programs. We usually select several execution paths using some strategy, and …

We present a greedy approach to test-cases selection for single decisions to achieve
MC/DC-coverage of their Boolean conditions. Our heuristics take into account “don't care” …

Boolean test input generation is the process of finding sets of values for variables of a logical
expression such that a given coverage criterion is achieved. This paper presents a formal …

Modified Condition/Decision Coverage (MC/DC) became widely used in software testing,
especially in safety-critical domain. However, existing testing tools often aim at achieving …

Given the large domain of inputs and possibly too many possible execution paths, the
software is often tested using a sampled set of test cases. A variety of coverage criteria have …

Structural testing is often the most common sought criteria for exercising aspects of control
flow (ie such as statement, branch and path coverage). In many cases, criteria based on …

Artificial Intelligence and especially Machine Learning have become main topics in the
scientific community as well as in industry. These techniques seem to be a solution for …

Model-Based Testing (MBT) approaches are becoming an attractive prospect for safety-
critical software testing due to their efficiency and the flexibility. Requirements based testing …