Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. - Takashi Kitamura 001; Quentin Maissonneuve; Eun-Hye Choi; Cyrille Artho; Angelo Gargantini (SAFECOMP, 2018)