Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing.

Andrea Calvagna, Angelo Gargantini

Browse the full TAP paper archive.