Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.

Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini

Browse the full SAFECOMP paper archive.