A formalization of Heisenbugs and their causes

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

Georg Weissenbacher, Sarah Sallinger, Florian Zuleger

Publication date: 5 June 2024

Mathematics Subject Classification ID

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

Cites Work

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

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