@inbook{Chapman2015,
  title = "Learning the Language of Error",
  author = "Chapman, Martin and Chockler, Hana and Kesseli, Pascal and Kroening, Daniel and Strichman, Ofer and Tautschnig, Michael",
  year = "2015",
  address = "Cham",
  booktitle = "Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings",
  editor = "Finkbeiner, Bernd and Pu, Geguang and Zhang, Lijun",
  isbn = "978-3-319-24953-7",
  pages = "114--130",
  publisher = "Springer International Publishing",
  url = "http://dx.doi.org/10.1007/978-3-319-24953-7_9",
  doi = "10.1007/978-3-319-24953-7_9",
}