A formalization of Heisenbugs and their causes

DOI10.1007/978-3-031-47115-5_16MaRDI QIDQ6550602FDOQ6550602

Authors: Sarah Sallinger, Georg Weissenbacher, Florian Zuleger 

Publication date: 5 June 2024

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

Mathematics Subject Classification ID

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

Cites Work

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

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)