G. J. Meyers, The Art of Software Testing, John Wiley & Sons, 1979.
C. Nie and H. Leung, "A survey of combinatorial testing," SCM Computing Surveys, vol. 43, no. 2, 2011.
J. Kim, K. Choi, D. M. Hoffman, and G. Jung, "White box pairwise test case generation," Proc. 7th International Conference on Quality Software, 2007, pp. 289-291.
G. Perrouin, S. Sen, J. Klein, J. B. Baudry, and Y. le Traon, "Automated and scalable t-wise test case generation strategies for software product lines," Proc. ICST2010, pp. 459-468.
D. Jackson, Software Abstractions, The MIT Press, 2006.
K. C. Tai and Yu Lei, "A test generation strategy for pairwise testing," IEEE Trans. on Software Engineering, vol. 28, no. 1, 2002, pp.109-111.
D. M. Cohen, S. R. Dalal, M. L. Fredman, and G. C. Patton, "The AETG system: an approach to testing based on combinatorial design," IEEE Trans. on Software Engineering, vol. 23, no. 7, 1997, pp. 437-444.
Pedro Flores and Y. Cheon, "PWiseGen: generating test Cases for pairwise testing," Proc. the 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE 2011), 2011, pp. 747-752.
C. Lott, A. Jain, and S. Dalal, "Modeling requirements for combinatorial software testing," Proc. the 1st International Workshop on Advances in Model-based Testing, 2005, pp. 1-7.
M. Patil and P. J. Nikumbh, "Pair-wise testing using simulated annealing," Proc. 2nd International Conference on Computer, Communication, Control and Information Technology (C3IT-2012), Feb. 2012, pp. 25-26.
M. B. Cohen, M. B. Dwyer, and J. Shi. "Constructing interaction test suites for highly-configurable systems in the presence of constraints: a greedy approach," IEEE Transactions on Software Engineering, vol. 34, no. 5, 2008, pp. 633-650.
Julien Brunel, David Chemouil, Vincent Ibanez, and Nicolas Meledo, "Formal Modelling and Safety Analysis of an Avionic Functional Architecture with Alloy," Proc. $ERTS^2$ (Embedded Real Time Software and Systems), 2014.
J. Czerwonka, "PICT-Pairwise testing in the real world: practical extensions to test-case scenarios," Proc. the 24th Pacific Northwest Software Quality Conference, Oct. 2006, pp. 419-430.