A logic-based approach to combinatorial testing with constraints. (2008)

by Andrea Calvagna, Angelo Gargantini
Venue:Tests and Proofs,