Toru Nanba, Tatsuhiro Tsuchiya, Tohru Kikuno. Constructing Test Sets for Pairwise Testing: A SAT-Based Approach. In Second International Conference on Networking and Computing, ICNC 2011, November 30 - December 2, 2011, Osaka, Japan. pages 271-274, IEEE Computer Society, 2011. [doi]
Abstract is missing.