A Logic-Based Approach to Combinatorial Testing with Constraints.

Andrea Calvagna Angelo Gargantini A Logic-Based Approach to Combinatorial Testing with Constraints. 66-83 2008 TAP http://dx.doi.org/10.1007/978-3-540-79124-9_6 conf/tap/2008 db/conf/tap/tap2008.html#CalvagnaG08