File Download
  Links for fulltext
     (May Require Subscription)
Supplementary

Conference Paper: Debugging through evaluation sequences: A controlled experimental study [Best Paper Award, COMPSAC 2008]

TitleDebugging through evaluation sequences: A controlled experimental study [Best Paper Award, COMPSAC 2008]
Authors
KeywordsEvaluation sequence
Fault localization
Issue Date2008
PublisherIEEE
Citation
The 32nd Annual IEEE International Computer Software and Applications (COMPSAC '08), 28 July-1 Aug 2008, p. 128-135 How to Cite?
AbstractPredicate-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.
DescriptionProceedings of the 32nd Annual International Computer Software and Applications Conference (COMPSAC 2008), IEEE Computer Society Press, Los Alamitos, CA, 28 July-1 Aug 2008, p. 128-135 [Best Paper Award]
Persistent Identifierhttp://hdl.handle.net/10722/55040
ISSN
References

 

DC FieldValueLanguage
dc.contributor.authorZhang, Z-
dc.contributor.authorJiang, B-
dc.contributor.authorChan, WK-
dc.contributor.authorTse, TH-
dc.date.accessioned2009-07-14T04:37:47Z-
dc.date.available2009-07-14T04:37:47Z-
dc.date.issued2008-
dc.identifier.citationThe 32nd Annual IEEE International Computer Software and Applications (COMPSAC '08), 28 July-1 Aug 2008, p. 128-135en
dc.identifier.issn0730-3157-
dc.identifier.urihttp://hdl.handle.net/10722/55040-
dc.descriptionProceedings of the 32nd Annual International Computer Software and Applications Conference (COMPSAC 2008), IEEE Computer Society Press, Los Alamitos, CA, 28 July-1 Aug 2008, p. 128-135 [Best Paper Award]en_HK
dc.description.abstractPredicate-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.en
dc.description.sponsorshipThis project is supported in part by the General Research Fund of the Hong Kong Research Grants Council (projects no. 111107 and 716507).en
dc.language.isoengen
dc.publisherIEEEen
dc.relation.ispartofProceedings of the International Computer Software and Applications Conference-
dc.rightsCopyright 2008 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted compenent of this work in other works must be obtained from the IEEE.-
dc.rightsCreative Commons: Attribution 3.0 Hong Kong License-
dc.subjectEvaluation sequenceen
dc.subjectFault localizationen
dc.titleDebugging through evaluation sequences: A controlled experimental study [Best Paper Award, COMPSAC 2008]en
dc.typeConference_Paperen
dc.identifier.openurlhttp://library.hku.hk:4550/resserv?sid=HKU:IR&issn=0730-3157&spage128&epage=135&date=2008&atitle=Debugging+Through+Evaluation+Sequences+A+Controlled+Experimental+Study-
dc.identifier.emailfzyzhang,bjiangg@cs.hku.hk-
dc.identifier.emailwkchan@cs.cityu.edu.hk-
dc.identifier.emailthtse@cs.hku.hk-
dc.description.naturepublished_or_final_versionen_HK
dc.identifier.doi10.1109/COMPSAC.2008.207-
dc.identifier.scopuseid_2-s2.0-51949098582-
dc.identifier.hkuros141678en_HK
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-51949098582&selection=ref&src=s&origin=recordpage-
dc.publisher.placeUnited States-
dc.identifier.scopusauthoridZhang, Z=10639502200-
dc.identifier.scopusauthoridJiang, B=35199818000-
dc.identifier.scopusauthoridChan, WK=23967779900-
dc.identifier.scopusauthoridTse, TH=7005496974-

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats