Skip to main navigation Skip to search Skip to main content

Debugging through evaluation sequences: A controlled experimental study

  • Zhenyu Zhang
  • , Bo Jiang
  • , W. K. Chan
  • , T. H. Tse*
  • *Corresponding author for this work

Research output: Chapters, Conference Papers, Creative and Literary WorksRGC 32 - Refereed conference paper (with host publication)peer-review

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. © 2008 IEEE.
Original languageEnglish
Title of host publicationProceedings - International Computer Software and Applications Conference
Pages128-135
DOIs
Publication statusPublished - 2008
Event32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 - Turku, Finland
Duration: 28 Jul 20081 Aug 2008

Publication series

Name
ISSN (Print)0730-3157

Conference

Conference32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008
PlaceFinland
CityTurku
Period28/07/081/08/08

Research Keywords

  • Evaluation sequence
  • Fault localization

Fingerprint

Dive into the research topics of 'Debugging through evaluation sequences: A controlled experimental study'. Together they form a unique fingerprint.

Cite this