Paper accepted @ APSEC 2019!

Konrad Fögen, Horst Lichter:
Semi-Automatic Repair of Over-Constrained Models for Combinatorial Robustness Testing


Testing with invalid test inputs is important to evaluate the robustness property of a system. Combinatorial robustness testing is an approach to generate separate test inputs for positive and negative test scenarios. The test model is enriched with semantic information to distinguish valid from invalid values and value combinations. Unfortunately, it is easy to create overconstrained models. As a consequence, invalid values or invalid value combinations do not appear in the final test suite. In thism paper, we extend previous work on manual repair and present a technique to semi-automatically repair over-constrained models.

The paper will be presented at APSEC, held in Putrajaya, Malaysia.