Applying model-based testing (MBT) in practice requires practical solutions for scaling up to
large industrial systems. One challenge that we have faced while applying MBT was the …

Abstract Model-based testing (MBT) suffers from two main problems which in many real
world systems make MBT impractical: scalability and automatic oracle generation. When no …

Regression testing aims at testing a system under test (SUT) in the presence of changes. As
a SUT changes, the number of test cases increases to handle the modifications, and …

Abstract Context: Continuous Integration (CI) environments allow frequent integration of
software changes, making software evolution more rapid and cost-effective. In such …

Executing large test suites is time and resource consuming, sometimes impossible, and
such test suites typically contain many redundant test cases. Hence, test case (suite) …

Regression testing is a testing activity that is performed to provide confidence that changes
do not harm the existing behaviour of the software. Test suites tend to grow in size as …

Test case prioritization reorders test cases from a previous version of a software system for
the current release to optimize regression testing. We have previously introduced a …

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 …

The increase in size and complexity of modern software systems requires scalable,
systematic, and automated testing approaches. Model-based testing (MBT), as a systematic …

Test case selection in model‐based testing is discussed focusing on the use of a similarity
function. Automatically generated test suites usually have redundant test cases. The reason …