About this scholarly article

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) - Optimization of Combinatorial Testing by Incremental SAT Solving by Yamada, Akihisa; Kitamura, Takashi; Artho, Cyrille; Choi, Eun-Hye; Oiwa, Yutaka; Biere, Armin is a scholarly article available to read on EtoBox.

Author

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

Publisher

IEEE

Published

2015