From Input to Failure: Explaining Program Behavior via Cause-Effect Chains | IEEE Conference Publication | IEEE Xplore