Learning the language of software errors

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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Chockler, H, Kesseli, P, Kroenig, D, Strichman, O
Định dạng:	Journal article
Ngôn ngữ:	English
Được phát hành:	AI Access Foundation 2020

Những quyển sách tương tự

Error Explanation with Distance Metrics
Bằng: Groce, A, et al.
Được phát hành: (2006)

Toward a Richer Language for Describing Software Errors
Bằng: Levitin, Samuel M.
Được phát hành: (2008)

Spoken Language Understanding Software for Language Learning
Bằng: Hassan Alam, et al.
Được phát hành: (2008-04-01)

A framework for Satisfiability Modulo Theories.
Bằng: Kroening, D, et al.
Được phát hành: (2009)

Efficient Computation of Recurrence Diameters
Bằng: Kroening, D, et al.
Được phát hành: (2003)

Decision Procedures – an Algorithmic Point of View
Bằng: Kroening, D, et al.
Được phát hành: (2008)

THEORY OF ANALYSIS OF ERRORS IN LEARNING FOREIGN LANGUAGE
Bằng: I.A. Salata
Được phát hành: (2008-06-01)

The Real Cost of Software Errors
Bằng: Zhivich, Michael A., et al.
Được phát hành: (2012)

Error analysis and its significance for second language teaching and learning
Bằng: P. Sobahle
Được phát hành: (2013-02-01)

Probabilistic fault localisation
Bằng: Landsberg, D, et al.
Được phát hành: (2016)

Coverage in interpolation-based model checking
Bằng: Chockler, H, et al.
Được phát hành: (2010)

Computing mutation coverage in interpolation-based model checking
Bằng: Chockler, H, et al.
Được phát hành: (2012)

Software for Quantifying and Simulating Microsatellite Genotyping Error
Bằng: Paul C.D. Johnson, et al.
Được phát hành: (2007-01-01)

Software for Quantifying and Simulating Microsatellite Genotyping Error
Bằng: Paul C.D. Johnson, et al.
Được phát hành: (2007-01-01)

Software for Quantifying and Simulating Microsatellite Genotyping Error
Bằng: Paul C.D. Johnson, et al.
Được phát hành: (2007-11-01)

Light-Weight Leases for Storage-Centric Coordination
Bằng: Chockler, Gregory, et al.
Được phát hành: (2005)

Are ESL/EFL Software Programs Effective for Language Learning?
Bằng: Vládia Cabral Borges
Được phát hành: (2014-07-01)

DESIGNING COMPUTER ASSISTED LANGUAGE LEARNING SOFTWARE EVALUATION
Bằng: Saleh Rosana Emy
Được phát hành: (2018-05-01)

Principles for computer-based software design for language learning /
Bằng: 295754 Laurillard, Diana

An Analytical Study of Errors made during Learning Second Language
Bằng: Lecturer Mayada R. Eesa, et al.
Được phát hành: (2016-03-01)

Error Rates in Users of Automatic Face Recognition Software.
Bằng: David White, et al.
Được phát hành: (2015-01-01)

Software for Correcting the Dynamic Error of Force Transducers
Bằng: Naoki Miyashita, et al.
Được phát hành: (2014-07-01)

SOFTWARE DEVELOPMENT AND RESEARCH FOR MACHINE LEARNING-BASED STRUCTURAL ERRORS DETECTION IN BPMN MODELS
Bằng: Andrii Kopp, et al.
Được phát hành: (2024-12-01)

Semantic refactorings
Bằng: Kesseli, P
Được phát hành: (2017)

Software : Programming languages
Bằng: Open University. Algorithmic Approach to Computing Course Team
Được phát hành: (1973)

A CONCEPT OF SOFTWARE SUPPORT OF LEARNING PROGRAMMING LANGUAGE AND TECHNOLOGIES
Bằng: V. Kruglyk
Được phát hành: (2013-03-01)

The Efficiency of Technology and Educational Software in Learning Foreign Language Vocabulary
Bằng: Talieh Mansouri, et al.
Được phát hành: (2019-02-01)

Students’ Linguistic Attitude Towards Language Mistakes/Errors in Learning and Using a Foreign Language
Bằng: Laiveniece Diāna, et al.
Được phát hành: (2022-12-01)

Explaining image classifiers using statistical fault localization
Bằng: Sun, Y, et al.
Được phát hành: (2020)

Representing Error bars in within-subject designs in typical software packages
Bằng: Fearghal O'Brien, et al.
Được phát hành: (2014-04-01)

Errors in Italian as Second Language
Bằng: Nitti, Paolo, et al.
Được phát hành: (2019-06-01)

Common errors in English language /
Bằng: 412611 Golding, S. R.
Được phát hành: (1964)

Abstraction−based Satisfiability Solving of Presburger Arithmetic
Bằng: Kroening, D, et al.
Được phát hành: (2004)

Impact propagation of human errors on software requirements volatility
Bằng: Askarinejadamiri, Zahra, et al.
Được phát hành: (2017)

On-Line Software Error-Correcting System for Converted Signals
Bằng: A Pirouzan
Được phát hành: (1972-12-01)

The Impact of Entropy and Solution Density on Selected SAT Heuristics
Bằng: Dor Cohen, et al.
Được phát hành: (2018-09-01)

The effects of introducing language learning software during the COVID-19 pandemic
Bằng: Philipp Novikov
Được phát hành: (2022-09-01)

The role of autocorrect software use in learning English as a foreign language
Bằng: M. Rahimi, et al.
Được phát hành: (2019-06-01)

The relationship between learning styles and learners' preference for English language learning software activities /
Bằng: Raheleh Davaripour, 1982-, et al.
Được phát hành: (2011)

Erratum to "Representing Error bars in within-subject designs in typical software packages"
Bằng: Fearghal O'Brien, et al.
Được phát hành: (2015-06-01)