Carlos Ansótegui, Idelfonso Izquierdo, Felip Manyà, and José Torres-Jiménez. A max-sat-based approach to constructing optimal covering arrays. In Artificial Intelligence Research and Development - Proceedings of the 16th International Conference of the Catalan Association for Artificial Intelligence, Vic, Catalonia, Spain, October 23-25, 2013, 51–59. 2013.


Carlos Ansótegui, Jesus Ojeda, and Eduard Torres. Building high strength mixed covering arrays with constraints. In Laurent D. Michel, editor, 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, volume 210 of LIPIcs, 12:1–12:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. URL:, doi:10.4230/LIPIcs.CP.2021.12.


Carlos Ansótegui, Felip Manyà, Jesus Ojeda, Josep M. Salvia, and Eduard Torres. Incomplete MaxSAT approaches for combinatorial testing. Journal of Heuristics, 28(4):377–431, August 2022. URL: (visited on 2022-09-02), doi:10.1007/s10732-022-09495-3.


Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, and James Lawrence. Ipog/ipog-d: efficient test generation for multi-way combinatorial testing. Software Testing, Verification and Reliability, 18(3):125–148, 2008. URL:, arXiv:, doi:


Changwen Li, Chih-Hong Cheng, Tiantian Sun, Yuhang Chen, and Rongjie Yan. Comopt: combination and optimization for testing autonomous driving systems. 2021. URL:, doi:10.48550/ARXIV.2110.00761.


Akihisa Yamada, Armin Biere, Cyrille Artho, Takashi Kitamura, and Eun-Hye Choi. Greedy combinatorial test case generation using unsatisfiable cores. In Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, 614–624. New York, NY, USA, 2016. Association for Computing Machinery.


Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, and Armin Biere. Optimization of combinatorial testing by incremental SAT solving. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015, 1–10. 2015.