A formalization of Heisenbugs and their causes

DOI10.1007/978-3-031-47115-5_16MaRDI QIDQ6550602zbMATH OpenFDO

Authors Sarah Sallinger, Georg Weissenbacher, Florian Zuleger

Publication date 5 June 2024

Full work available at URL https://doi.org/10.1007/978-3-031-47115-5_16

Mathematics Subject Classification ID

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

Recommendations

• Abstraction and mining of traces to explain concurrency bugs
• Cooperative bug isolation. Winning thesis of the 2005 ACM doctoral dissertation competition.
• Local reasoning about the presence of bugs: incorrectness separation logic
• Causal reasoning for safety in Hennessy Milner logic
• Causality analysis and fault ascription in component-based systems

Cites work

• Axioms of causal relevance
• Causality analysis and fault ascription in component-based systems
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Complexity results for structure-based causality.
• Counterfactuals.
• Deep learning

This page was built for publication: A formalization of Heisenbugs and their causes

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