Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. - Toru Nanba; Tatsuhiro Tsuchiya; Tohru Kikuno (ICNC, 2011)

Using Satisfiability Solving for Pairwise Testing in the Presence of Constraints. - Toru Nanba; Tatsuhiro Tsuchiya; Tohru Kikuno (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2012)