@inproceedings{DBLP:conf/lpnmr/BanbaraIKOSST17,
  author = {Banbara, Mutsunori and Inoue, Katsumi and Kaneyuki, Hiromasa and Okimoto, Tenda and Schaub, Torsten and Soh, Takehide and Tamura, Naoyuki},
  title = {catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming},
  booktitle = {{LPNMR}},
  series = {Lecture Notes in Computer Science},
  volume = {10377},
  pages = {265--278},
  publisher = {Springer},
  year = {2017}
}