From Input to Failure: Explaining Program Behavior via Cause-Effect Chains

(2023) From Input to Failure: Explaining Program Behavior via Cause-Effect Chains. (In Press)

Text icse2023-ds.pdf Download (194kB)

Abstract

Debugging a fault in a program is an error-prone and resource-intensive process that requires considerable work. My doctoral research aims at supporting developers during this process by integrating test generation as a feedback loop into a novel fault diagnosis to narrow down the causality by validating or disproving suggested hypotheses. I will combine input, output, and state to detect relevant relations for an immersive fault diagnosis. Further, I want to introduce an approach for a targeted test that leverages statistical fault localization to extract oracles based on execution features to identify failing tests.

Item Type:	Conference or Workshop Item (A Paper) (Paper)
Divisions:	Andreas Zeller (Software Engineering, ST)
Conference:	ICSE International Conference on Software Engineering
Depositing User:	Marius Smytzek
Date Deposited:	08 Mar 2023 12:23
Last Modified:	08 Mar 2023 12:23
Primary Research Area:	NRA4: Secure Mobile and Autonomous Systems
URI:	https://publications.cispa.saarland/id/eprint/3904

Actions

Actions (login required)

View Item