@inproceedings{NiemetzPreinerBiere-SMT17,
  author    = {Aina Niemetz and Mathias Preiner and Armin Biere},
  editor    = {Martin Brain and Liana Hadarean},
  title     = {{Model-Based API Testing for SMT Solvers}},
  booktitle = {Proceedings of the 15th International Workshop on 
               Satisfiability Modulo Theories, {SMT} 2017),
               affiliated with the 29th International Conference on
               Computer Aided Verification, {CAV} 2017,
               Heidelberg, Germany, July 24-28, 2017},
  pages     = {10 pages},
  year      = {2017}
}