Learning the language of software errors
We propose to use algorithms for learning deterministic finite automata (DFA), such as Angluin’s L ∗ algorithm, for learning a DFA that describes the possible scenarios under which a given program error occurs. The alphabet of this automaton is given by the user (for instance, a subset of the functi...
Asıl Yazarlar: | Chockler, H, Kesseli, P, Kroenig, D, Strichman, O |
---|---|
Materyal Türü: | Journal article |
Dil: | English |
Baskı/Yayın Bilgisi: |
AI Access Foundation
2020
|
Benzer Materyaller
-
Error Explanation with Distance Metrics
Yazar:: Groce, A, ve diğerleri
Baskı/Yayın Bilgisi: (2006) -
Toward a Richer Language for Describing Software Errors
Yazar:: Levitin, Samuel M.
Baskı/Yayın Bilgisi: (2008) -
Spoken Language Understanding Software for Language Learning
Yazar:: Hassan Alam, ve diğerleri
Baskı/Yayın Bilgisi: (2008-04-01) -
A framework for Satisfiability Modulo Theories.
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2009) -
Efficient Computation of Recurrence Diameters
Yazar:: Kroening, D, ve diğerleri
Baskı/Yayın Bilgisi: (2003)