Login / Signup
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.
Takashi Kitamura
Quentin Maissonneuve
Eun-Hye Choi
Cyrille Artho
Angelo Gargantini
Published in:
SAFECOMP (2018)
Keyphrases
</>
test suite
sat solving
test cases
regression testing
test suite reduction
software testing
dynamic programming
decision makers
sufficient conditions
set of test cases
machine learning
sat solvers
optimal solution
decision problems
temporal logic