A formal logic approach to constrained combinatorial testing (2010)

by A Calvagna, A Gargantini
Venue:Journal of Automated Reasoning