Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing. Andrea Calvagna – University of Catania - IT Angelo Gargantini – University…