Learning the Language of Software Errors
From MaRDI portal
Publication:5109907
DOI10.1613/jair.1.11798zbMath1437.68071OpenAlexW3019910725MaRDI QIDQ5109907
Ofer Strichman, Hana Chockler, Daniel Kroening, Pascal Kesseli
Publication date: 14 May 2020
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.1.11798
Computational learning theory (68Q32) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Inferring Symbolic Automata ⋮ Enhancing active model learning with equivalence checking using simulation relations ⋮ Learning Temporal Causal Sequence Relationships from Real-Time Time-Series
Uses Software
This page was built for publication: Learning the Language of Software Errors