Learning the language of software errors

DOI10.1613/JAIR.1.11798MaRDI QIDQ5109907zbMATH OpenOpenAlexFDO

Authors Hana Chockler, Pascal Kesseli, Daniel Kroening, Ofer Strichman

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Computational learning theory (68Q32) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Learning the Language of Error
• A generic algorithm for learning symbolic automata from membership queries
• scientific article; zbMATH DE number 1008506
• Learning fallible deterministic finite automata
• Efficient learning of typical finite automata from random walks

Cited in

(5)

• Learning the Language of Error
• Learning temporal causal sequence relationships from real-time time-series
• Learning program behavior for run-time software assurance
• Inferring Symbolic Automata
• Enhancing active model learning with equivalence checking using simulation relations

Describes a project that uses

Uses Software

• Sigma*
• libalf
• jq

This page was built for publication: Learning the language of software errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5109907)