Learning the Language of Software Errors

Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman. Learning the Language of Software Errors. J. Artif. Intell. Res. (JAIR), 67:881-903, 2020. [doi]

Authors

Hana Chockler

This author has not been identified. It may be one of the following persons: Look up 'Hana Chockler' in Google

Pascal Kesseli

This author has not been identified. Look up 'Pascal Kesseli' in Google

Daniel Kroening

This author has not been identified. Look up 'Daniel Kroening' in Google

Ofer Strichman

This author has not been identified. Look up 'Ofer Strichman' in Google