1. I. Sommerville, "Software engineering 10th Edition," ISBN-10, vol. 137035152, p. 18, 2015.
2. Principles of Model Checking;Baier,2008
3. A tuned version of genetic algorithm for efficient test suite generation in interactive t-way testing strategy;Esfandyari;Inf. Softw. Technol.,2018
4. J. Lin, C. Luo, S. Cai, K. Su, D. Hao, and L. Zhang, "TCA: An efficient two-mode meta-heuristic algorithm for combinatorial test generation (T)," in 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2015: IEEE, pp. 494–505.
5. An investigation of the applicability of design of experiments to software testing," in 27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002;Kuhn;Proceedings,2002