Optimization of Combinatorial Testing by Incremental SAT Solving.

Akihisa Yamada, Takashi Kitamura, Cyrille Artho, Eun-Hye Choi, Yutaka Oiwa, Armin Biere

Browse the full ICST paper archive.