Martin Chapman, Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman, Michael Tautschnig. Learning the Language of Error. In Bernd Finkbeiner, Geguang Pu, Lijun Zhang, editors, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Volume 9364 of Lecture Notes in Computer Science, pages 114-130, Springer, 2015. [doi]
@inproceedings{ChapmanCKKST15,
title = {Learning the Language of Error},
author = {Martin Chapman and Hana Chockler and Pascal Kesseli and Daniel Kroening and Ofer Strichman and Michael Tautschnig},
year = {2015},
doi = {10.1007/978-3-319-24953-7_9},
url = {http://dx.doi.org/10.1007/978-3-319-24953-7_9},
researchr = {https://researchr.org/publication/ChapmanCKKST15},
cites = {0},
citedby = {0},
pages = {114-130},
booktitle = {Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings},
editor = {Bernd Finkbeiner and Geguang Pu and Lijun Zhang},
volume = {9364},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-24952-0},
}