Title: | Learning the Language of Error |
---|---|
Links: | Homepage Document as PDF |
Authors: | Martin Chapman |
Hana Chockler | |
Pascal Kesseli | |
Daniel Kroening EMail | |
Ofer Strichman | |
Michael Tautschnig | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{cckkst2015, AUTHOR = { Chapman, Martin and Chockler, Hana and Kesseli, Pascal and Kroening, Daniel and Strichman, Ofer and Tautschnig, Michael }, TITLE = { Learning the Language of Error }, BOOKTITLE = { Automated Technology for Verification and Analysis (ATVA) }, YEAR = { 2015 }, PUBLISHER = { Springer }, PAGES = { 114--130 }, ISBN = { 978-3-319-24952-0 }, SERIES = { LNCS }, VOLUME = { 9364 }, EDITOR = { Bernd Finkbeiner and Geguang Pu and Lijun Zhang }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.