A formal semantics for program debugging

DOI10.1007/S11432-011-4530-2zbMath1245.68068OpenAlexW2106910606MaRDI QIDQ439714

Ning Li, Wei 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

operational semanticsdebuggingfailed test casefix-equations

Mathematics Subject Classification ID

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

Related Items (1)

A formal semantics for debugging synchronous message passing-based concurrent programs

Cites Work

• Program Slicing
• Unnamed Item

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