  Combinatorial interaction testing (CIT) is a well-known technique, but the
industrial experience is needed to determine its effectiveness in different
application domains. We present a case study introducing a unified framework
for generating, executing and verifying CIT test suites, based on the
open-source Avocado test framework. In addition, we present a new industrial
case study to demonstrate the effectiveness of the framework. This evaluation
showed that the new framework can generate, execute, and verify effective
combinatorial interaction test suites for detecting configuration failures
(invalid configurations) in a virtualization system.
