A formal semantics for program debugging

DOI10.1007/S11432-011-4530-2MaRDI QIDQ439714zbMATH OpenOpenAlexFDO

Authors Wei Li, Ning Li

Publication date 17 August 2012

Published in Science China Information Sciences (Search for Journal in Brave)

Full work available at URL http://engine.scichina.com/doi/10.1007/s11432-011-4530-2

zbMATH Keywords

debuggingoperational semanticsfailed test casefix-equations

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2086611
• scientific article; zbMATH DE number 1852164
• scientific article; zbMATH DE number 1332636
• A debugging system based on natural semantics
• A debugging scheme for functional logic programs
• A formal semantics for debugging synchronous message passing-based concurrent programs
• scientific article; zbMATH DE number 512882

Cites work

• scientific article; zbMATH DE number 108425 (Why is no real title available?)
• Program Slicing

Cited in

(6)

• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 4193098 (Why is no real title available?)
• Automated debugging based on a constraint model of the program and a test case
• A formal semantics for debugging synchronous message passing-based concurrent programs
• scientific article; zbMATH DE number 1191738 (Why is no real title available?)
• scientific article; zbMATH DE number 1368925 (Why is no real title available?)

This page was built for publication: A formal semantics for program debugging

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