| Title: | Learning the Language of Software Errors |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Hana Chockler |
| Pascal Kesseli | |
| Daniel Kroening EMail | |
| Ofer Strichman | |
| Remarks: | |
| Topics: |
Bibtex:
@article{ckks2020,
AUTHOR = { Chockler, Hana
and Kesseli, Pascal
and Kroening, Daniel
and Strichman, Ofer },
TITLE = { Learning the Language of Software Errors },
YEAR = { 2020 },
PAGES = { 881--903 },
JOURNAL = { Artificial Intelligence Research },
VOLUME = { 67 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.