BibTeX record conf/kbse/0002BAKC16

download as .bib file

@inproceedings{DBLP:conf/kbse/0002BAKC16,
  author    = {Akihisa Yamada and
               Armin Biere and
               Cyrille Artho and
               Takashi Kitamura and
               Eun{-}Hye Choi},
  title     = {Greedy combinatorial test case generation using unsatisfiable cores},
  booktitle = {{ASE}},
  pages     = {614--624},
  publisher = {{ACM}},
  year      = {2016}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics