Send email Copy Email Address
2023-05-07

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

Summary

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.

Conference Paper

International Conference on Software Engineering - Companion (ICSE-Companion)

Date published

2023-05-07

Date last modified

2024-07-25