A generalized model for algorithmic debugging

DOI10.1007/978-3-319-27436-2_16MaRDI QIDQ5743598zbMATH OpenOpenAlexFDO

Authors David Insa, Josep Silva

Publication date 5 February 2016

Published in Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10251/66519

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Algorithmic debugging generalized
• scientific article; zbMATH DE number 3947593
• Algorithmic debugging of SQL views
• scientific article; zbMATH DE number 2089877
• scientific article; zbMATH DE number 1870455

Cites work

• A vocabulary of program slicing-based techniques
• Declarative error diagnosis
• Enhancing declarative debugging with loop expansion and tree compression
• How to look busy while being as lazy as ever: the Implementation of a lazy functional debugger
• scientific article; zbMATH DE number 3947593 (Why is no real title available?)
• scientific article; zbMATH DE number 2115035 (Why is no real title available?)
• Simplifying questions in Maude declarative debugger by transforming proof trees

Cited in

(5)

• Algorithmic debugging generalized
• scientific article; zbMATH DE number 4193098 (Why is no real title available?)
• Algorithmic debugging of SQL views
• A Debugging Model with Independent Flaws and Random Masking
• Debugging for Model Expansion

This page was built for publication: A generalized model for algorithmic debugging

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