Flattening or Not the Combinatorial Interaction Testing Models?

Christopher Henard, Mike Papadakis, and Yves Le Traon

Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Contact: {firstname.lastname}@uni.lu

Resources regarding the paper:

• About the experiments data

References:

About the experiments data

• Browse or Download the original CIT models [1,2].
• Browse or Download the SMT models used in the case study. These models are a translation of the original CIT models (see above). They are written in the SMT-LIB version 2 format (.smt2) and yices format (.ys)
• Browse or Download the SAT models used in the case study. These models correspond to the flattened version of the SMT models (see above). They are written in the CNF format (.dimacs).