@inproceedings{5c7f6bd7531a4eb0af56c9a7037cd3e0,
title = "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.",
keywords = "Evaluation sequence, Fault localization",
author = "Zhenyu Zhang and Bo Jiang and Chan, \{W. K.\} and Tse, \{T. H.\}",
year = "2008",
doi = "10.1109/COMPSAC.2008.207",
language = "英语",
isbn = "9780769532622",
series = "Proceedings - International Computer Software and Applications Conference",
pages = "128--135",
booktitle = "Proceedings - 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008",
note = "32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 ; Conference date: 28-07-2008 Through 01-08-2008",
}