<div class="csl-bib-body">
<div class="csl-entry">Sallinger, S., Weissenbacher, G., & Zuleger, F. (2023). A Formalization of Heisenbugs and Their Causes. In C. Ferreira & T. A. C. Willemse (Eds.), <i>Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings</i> (pp. 282–300). Springer. https://doi.org/10.34726/5381</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/192519
-
dc.identifier.uri
https://doi.org/10.34726/5381
-
dc.description.abstract
The already challenging task of identifying the cause of a bug becomes even more cumbersome if those bugs disappear or change their behavior under observation. Such bugs occur in a range of contexts including elusive concurrency bugs as well as unintended system alterations during debugging and—as a pun on the name of Werner Heisenberg—are often referred to as Heisenbugs. Heisenbugs can be caused by various sources of nondeterminism on different system levels, many of which developers and testers might not even be aware of. This paper provides formal foundations for rigorously reasoning about causes of Heisenbugs. It provides a formal definition of Heisenbugs in terms of a hyperproperty and introduces a framework for determining the causality of Heisenbugs in presence of multiple candidate causes based on said hyperproperty. We analyze the properties of causes and the implications on practical causal analyses.
en
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.description.sponsorship
European Commission
-
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.rights.uri
http://rightsstatements.org/vocab/InC/1.0/
-
dc.subject
Heisenbugs
en
dc.subject
Hyperproperties
en
dc.subject
Causality
en
dc.title
A Formalization of Heisenbugs and Their Causes
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Urheberrechtsschutz
de
dc.rights.license
In Copyright
en
dc.identifier.doi
10.34726/5381
-
dc.relation.isbn
978-3-031-47114-8
-
dc.relation.doi
10.1007/978-3-031-47115-5
-
dc.relation.issn
0302-9743
-
dc.description.startpage
282
-
dc.description.endpage
300
-
dc.relation.grantno
VRG11-005
-
dc.relation.grantno
ERC Consolidator Grant 2020
-
dc.rights.holder
Authors and Springer
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings
-
tuw.container.volume
14323
-
tuw.peerreviewed
true
-
tuw.book.ispartofseries
Lecture Notes in Computer Science
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.project.title
Heisenbugs: Auffindung und Erklärung
-
tuw.project.title
Automated Reasoning with Theories and Induction for Software Technologies
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
tuw.publisher.doi
10.1007/978-3-031-47115-5_16
-
dc.description.numberOfPages
19
-
tuw.author.orcid
0000-0003-1468-8398
-
dc.rights.identifier
Urheberrechtsschutz
de
dc.rights.identifier
In Copyright
en
tuw.editor.orcid
0000-0001-8204-2850
-
tuw.event.name
21st International Conference, SEFM 2023
en
dc.description.sponsorshipexternal
Austrian Science Fund (FWF)
-
dc.relation.grantnoexternal
W1255-N23
-
tuw.event.startdate
06-11-2023
-
tuw.event.enddate
10-11-2023
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Eindhoven
-
tuw.event.country
NL
-
tuw.event.presenter
Sallinger, Sarah
-
tuw.event.track
Single Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.value
100
-
item.mimetype
application/pdf
-
item.languageiso639-1
en
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.openairetype
conference paper
-
item.openaccessfulltext
Open Access
-
item.cerifentitytype
Publications
-
item.fulltext
with Fulltext
-
item.grantfulltext
embargo_20241101
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.dept
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
crisitem.author.orcid
0000-0003-1468-8398
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.author.parentorg
E192 - Institut für Logic and Computation
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds