Debugging through evaluation sequences: a controlled experimental study

Abstract:Predicate-based statistical fault-localization techniques locate fault-relevant predicates in a program by contrasting the statistics of the values of individual predicates between successful and failure-causing runs. While short-circuit evaluations are common in program execution, treating predicates as atomic units ignores this fact, masking out various types of important statistics. On the contrary, are such statistics useful for debugging? In this paper, we investigate experimentally the impact of the use of short- circuit evaluation information on fault localization. The results show that, by doing so, it significantly improves predicate-based statistical fault-localization techniques.
Grants:GRF 111107, GRF 716507
Links:PDF, DOI
Citation:Zhenyu Zhang, Bo Jiang, W.K. Chan, and T.H. Tse, "Debugging through evaluation sequences: a controlled experimental study", in Proceedings of 32th IEEE Computer Software and Applications Conference (COMPSAC 2008), (Turku, Finland, July 28-Aug 1, 2008,) pages 128-135, IEEE Computer Society Press, Los Alamitos, California (2008). 
Remarks:[Best Paper Award, Acceptance rate: 19.5%, 46 out of 236, Selected by the Program Chair for journal extension]
Related Papers:-

Selected Tags

Tag Groups


ACM SigSoft
IEEE Software Engineering Online