Login / Signup
Quentin Maissonneuve
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 1
Top Topics
Sat Solving
Test Suite
Regression Testing
Sufficient Conditions
Top Venues
SAFECOMP
</>
Publications
</>
Takashi Kitamura
,
Quentin Maissonneuve
,
Eun-Hye Choi
,
Cyrille Artho
,
Angelo Gargantini
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving.
SAFECOMP
(2018)