Login / Signup
Hiromasa Kaneyuki
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Modulo Theories
Answer Set Programming
Number Of Test Cases
Disjunctive Logic Programming
Top Venues
LPNMR
</>
Publications
</>
Mutsunori Banbara
,
Katsumi Inoue
,
Hiromasa Kaneyuki
,
Tenda Okimoto
,
Torsten Schaub
,
Takehide Soh
,
Naoyuki Tamura
catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming.
LPNMR
(2017)