{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T07:26:43Z","timestamp":1750318003423},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330509"},{"type":"electronic","value":"9783540330516"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11688839_7","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T07:41:48Z","timestamp":1143531708000},"page":"80-95","source":"Crossref","is-referenced-by-count":31,"title":["Accurately Choosing Execution Runs for Software Fault Localization"],"prefix":"10.1007","author":[{"given":"Liang","family":"Guo","sequence":"first","affiliation":[]},{"given":"Abhik","family":"Roychoudhury","sequence":"additional","affiliation":[]},{"given":"Tao","family":"Wang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Ball, T., Naik, M., Rajamani, S.K.: From symptom to cause: localizing errors in counterexample traces. In: ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL), pp. 97\u2013105 (2003)","DOI":"10.1145\/604131.604140"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Chaki, S., Groce, A., Strichman, O.: Explaining abstract counterexamples. In: ACM SIGSOFT Symp. on the Foundations of Software Engg (FSE) (2004)","DOI":"10.1145\/1029894.1029908"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Cleve, H., Zeller, A.: Locating causes of program failures. In: ACM\/IEEE International Conference on Software Engineering (ICSE) (2005)","DOI":"10.1145\/1062455.1062522"},{"issue":"3","key":"7_CR4","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"Ferrante, J., Ottenstein, K.J., Warren, J.D.: The program dependence graph and its use in optimization. ACM Transactions on Programming Languages and Systems\u00a09(3), 319\u2013349 (1987)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-540-24730-2_8","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"A. Groce","year":"2004","unstructured":"Groce, A.: Error explanation with distance metrics. In: Jensen, K., Podelski, A. (eds.) TACAS 2004. LNCS, vol.\u00a02988, pp. 108\u2013122. Springer, Heidelberg (2004)"},{"key":"7_CR6","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the effectiveness of dataflow- and controlflow-based test adequacy criteria. In: ACM\/IEEE International Conference on Software Engineering (ICSE), pp. 191\u2013200 (1994)"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: ACM\/IEEE International Conference on Software Engineering (ICSE), pp. 467\u2013477 (2002)","DOI":"10.1145\/581396.581397"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Larus, J.R.: Whole program paths. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pp. 259\u2013269 (1999)","DOI":"10.1145\/301618.301678"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A., Jordan, M.I.: Bug isolation via remote program sampling. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2003)","DOI":"10.1145\/781131.781148"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Liblit, B., Naik, M., Zheng, A., Aiken, A., Jordan, M.: Scalable statistical bug isolation. In: ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (2005)","DOI":"10.1145\/1065010.1065014"},{"key":"7_CR11","unstructured":"Pytlik, B., Renieris, M., Krishnamurthi, S., Reiss, S.P.: Automated fault localization using potential invariants. CoRR, cs.SE\/0310040 (October 2003)"},{"key":"7_CR12","unstructured":"Renieris, M., Reiss, S.P.: Fault localization with nearest neighbor queries. In: Automated Software Engineering (ASE), pp. 30\u201339 (2003)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Reps, T.W., Ball, T., Das, M., Larus, J.R.: The use of program profiling for software maintenance with applications to the year 2000 problem. In: ACM SIGSOFT Symp. on the Foundations of Software Engg. (FSE) (1997)","DOI":"10.1007\/3-540-63531-9_29"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Rothermel, G., Harrold, M.J.: Empirical studies of a safe regression test selection technique. IEEE Transactions on Software Engineering\u00a024 (1998)","DOI":"10.1109\/32.689399"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Ruthruff, J., Creswick, E., Burnett, M., Cook, C., Prabhakararao, S., Fisher II, M., Main, M.: End-user software visualizations for fault localization. In: ACM Symposium on Software Visualization, pp. 123\u2013132 (2003)","DOI":"10.1145\/774833.774851"},{"key":"7_CR16","unstructured":"http:\/\/www.cse.unl.edu\/~galileo\/sir"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Wang, T., Roychoudhury, A.: Automated path generation for software fault localization. In: ACM\/IEEE International Conference on Automated Software Engineering (ASE), pp. 347\u2013351 (2005)","DOI":"10.1145\/1101908.1101966"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Zeller, A.: Isolating cause-effect chains from computer programs. In: ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 1\u201310 (2002)","DOI":"10.1145\/587051.587053"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Transactions on Software Engineering\u00a028 (2002)","DOI":"10.1109\/32.988498"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11688839_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T13:13:52Z","timestamp":1555506832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11688839_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330509","9783540330516"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11688839_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}