Combinatorial Testing (CT) can detect failures triggered by interactions of parameters in the
Software Under Test (SUT) with a covering array test suite generated by some sampling …

This paper describes a systematic review performed on model-based testing (MBT)
approaches. A selection criterion was used to narrow the initially identified four hundred and …

Mobile apps are ubiquitous, operate in complex environments and are developed under the
time-to-market pressure. Ensuring their correctness and reliability thus becomes an …

This extensively classroom-tested text takes an innovative approach to explaining software
testing that defines it as the process of applying a few precise, general-purpose criteria to a …

Model‐based testing (MBT) relies on models of a system under test and/or its environment to
derive test cases for the system. This paper discusses the process of MBT and defines a …

Exhaustive testing of computer software is intractable, but empirical studies of software
failures suggest that testing can in some cases be effectively exhaustive. We show that …

It is apparent that one cannot rely solely on physical test drives for ensuring the correct
functionality of autonomous vehicles. Since physical test drives are costly and time …

Most existing work on t-way testing has focused on 2-way (or pairwise) testing, which aims to
detect faults caused by interactions between any two parameters. However, faults can also …

Combination strategies are test case selection methods that identify test cases by combining
values of the different test object input parameters based on some combinatorial strategy …

Software system faults are often caused by unexpected interactions among components. Yet
the size of a test suite required to test all possible combinations of interactions can be …