Akihisa Yamada 0002, Armin Biere, Cyrille Artho, Takashi Kitamura, Eun-Hye Choi. Greedy combinatorial test case generation using unsatisfiable cores. In David Lo, Sven Apel, Sarfraz Khurshid, editors, Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. pages 614-624, ACM, 2016. [doi]
Abstract is missing.