A case for dynamic reverse-code generation to debug non-deterministic programs

MaRDI QIDQ4994708zbMATH OpenFDO

Authors Jooyong Yi

Publication date 21 June 2021

Full work available at URL https://arxiv.org/abs/1309.5152, http://eptcs.web.cse.unsw.edu.au/paper.cgi?DSS2013.27

Mathematics Subject Classification ID

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

Recommendations

• Reverse Execution of Java Bytecode
• scientific article; zbMATH DE number 1728461
• scientific article; zbMATH DE number 1844543
• From reversible semantics to reversible debugging
• scientific article; zbMATH DE number 3980460

Cited in

(2)

• scientific article; zbMATH DE number 3980460 (Why is no real title available?)
• Reverse Execution of Java Bytecode

This page was built for publication: A case for dynamic reverse-code generation to debug non-deterministic programs

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