Home >

news Help

Publication Information


Title
Japanese:catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming 
English:catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming 
Author
Japanese: Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura.  
English: Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura.  
Language English 
Journal/Book name
Japanese:In: Marcello Balduccini and Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017), Lecture Notes in Artificial Intelligence 
English:In: Marcello Balduccini and Tomi Janhunen (eds.), Logic Programming and Nonmonotonic Reasoning: Proceedings of the 14th International Conference (LPNMR 2017; Espoo, Finland, July 3-6, 2017), Lecture Notes in Artificial Intelligence 
Volume, Number, Page Vol. 10377        pp. 265-278
Published date July 2017 
Publisher
Japanese:Springer 
English:Springer 
Conference name
Japanese: 
English: 
Conference site
Japanese: 
English: 

©2007 Tokyo Institute of Technology All rights reserved.