@inproceedings{YamadaBiereArthoKitamuraChoi-ASE16,
  author    = {Akihisa Yamada and
               Armin Biere and
               Cyrille Artho and
               Takashi Kitamura and
               Eun{-}Hye Choi},
  editor    = {David Lo and
               Sven Apel and
               Sarfraz Khurshid},
  title     = {Greedy combinatorial test case generation using unsatisfiable cores},
  booktitle = {Proceedings of the 31st {IEEE/ACM} International Conference on Automated
               Software Engineering, {ASE} 2016, Singapore, September 3-7, 2016},
  pages     = {614--624},
  publisher = {{ACM}},
  year      = {2016},
}