{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:10:10Z","timestamp":1745964610199,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370564"},{"type":"electronic","value":"9783642370571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37057-1_6","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:04Z","timestamp":1361216224000},"page":"68-82","source":"Crossref","is-referenced-by-count":27,"title":["On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets"],"prefix":"10.1007","author":[{"given":"Birgit","family":"Hofer","sequence":"first","affiliation":[]},{"given":"Andr\u00e9","family":"Riboira","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Elisabeth","family":"Getzner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Ko, A.J., Abraham, R., Beckwith, L., Blackwell, A., Burnett, M., Erwig, M., Scaffidi, C., Lawrance, J., Lieberman, H., Myers, B., Rosson, M.B., Rothermel, G., Shaw, M., Wiedenbeck, S.: The state of the art in end-user software engineering. ACM Computing Surveys (2011)","DOI":"10.1145\/1922649.1922658"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1016631003750","volume":"9","author":"D. Chadwick","year":"2001","unstructured":"Chadwick, D., Knight, B., Rajalingham, K.: Quality control in spreadsheets: A visual approach using color codings to reduce errors in formulae. Software Quality Journal\u00a09(2), 133\u2013143 (2001)","journal-title":"Software Quality Journal"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/TAIC.PART.2007.13","volume-title":"Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, TAICPART-MUTATION 2007","author":"R. Abreu","year":"2007","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Proceedings of the Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION, TAICPART-MUTATION 2007, pp. 89\u201398. IEEE Computer Society, Washington, DC (2007)"},{"key":"6_CR4","unstructured":"Hofer, B., Wotawa, F.: Spectrum enhanced dynamic slicing for better fault localization. In: Proceedings of the European Conference on Artificial Intelligence (ECAI 2012). Frontiers in Artificial Intelligence and Applications, vol.\u00a0242, pp. 420\u2013425. IOS Press (2012)"},{"key":"6_CR5","unstructured":"Abreu, R., Riboira, A., Wotawa, F.: Constraint-based debugging of spreadsheets. In: Proceedings of the 15th Ibero-American Conference on Software Engineering (2012)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Fisher, M.I., Rothermel, G.: The EUSES spreadsheet corpus: A shared resource for supporting experimentation with spreadsheet dependability mechanisms. In: 1st Workshop on End-User Software Engineering, pp. 47\u201351 (2005)","DOI":"10.1145\/1083231.1083242"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Burnett, M.M., Cook, C.R., Pendse, O., Rothermel, G., Summet, J., Wallace, C.S.: End-user software engineering with assertions in the spreadsheet paradigm. In: Clarke, L.A., Dillon, L., Tichy, W.F. (eds.) ICSE, pp. 93\u2013105. IEEE Computer Society (2003)","DOI":"10.1109\/ICSE.2003.1201191"},{"key":"6_CR8","unstructured":"Panko, R.R.: Recommended practices for spreadsheet testing. CoRR abs\/0712.0109 (2007)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Mendes, J., Saraiva, J.: Mdsheet: A framework for model-driven spreadsheet engineering. In: Glinz, M., Murphy, G.C., Pezz\u00e8, M. (eds.) ICSE, pp. 1395\u20131398. IEEE (2012)","DOI":"10.1109\/ICSE.2012.6227239"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1145\/774833.774851","volume-title":"Proceedings of the 2003 ACM Symposium on Software Visualization, SoftVis 2003","author":"J. Ruthruff","year":"2003","unstructured":"Ruthruff, J., Creswick, E., Burnett, M., Cook, C., Prabhakararao, S., Fisher II, M., Main, M.: End-user software visualizations for fault localization. In: Proceedings of the 2003 ACM Symposium on Software Visualization, SoftVis 2003, pp. 123\u2013132. ACM, New York (2003)"},{"key":"6_CR11","unstructured":"Ayalew, Y., Mittermeir, R.: Spreadsheet debugging. Bilding Better Business Spreadsheets - from the ad-hoc to the quality-engineered. In: Proceedings of EuSpRIG 2003, Dublin, Ireland, July 24-25, pp. 67\u201379 (2003)"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: Spectrum-based multiple fault localization. In: Proc. ASE 2009. IEEE CS (2009)","DOI":"10.1109\/ASE.2009.25"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-14264-2_3","volume-title":"Current Topics in Artificial Intelligence","author":"F. Wotawa","year":"2010","unstructured":"Wotawa, F., Weber, J., Nica, M., Ceballos, R.: On the Complexity of Program Debugging Using Constraints for Modeling the Program\u2019s Syntax and Semantics. In: Meseguer, P., Mandow, L., Gasca, R.M. (eds.) CAEPIA 2009. LNCS, vol.\u00a05988, pp. 22\u201331. Springer, Heidelberg (2010)"},{"key":"6_CR15","unstructured":"Jannach, D., Engler, U.: Toward model-based debugging of spreadsheet programs. In: 9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2010), Kaunas, Lithuania, August 25-27, pp. 252\u2013264 (2010)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Goaldebug: A spreadsheet debugger for end users. In: 29th IEEE International Conference on Software Engineering, pp. 251\u2013260 (2007)","DOI":"10.1109\/ICSE.2007.39"},{"key":"6_CR17","first-page":"37","volume-title":"Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2005","author":"R. Abraham","year":"2005","unstructured":"Abraham, R., Erwig, M.: Goal-directed debugging of spreadsheets. In: Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing, VLHCC 2005, pp. 37\u201344. IEEE Computer Society, Washington, DC (2005)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Rothermel, K.J., Cook, C.R., Burnett, M.M., Schonfeld, J., Green, T.R.G., Rothermel, G.: WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation. In: Proc. ICSE 2000, pp. 230\u2013239. ACM (2000)","DOI":"10.1145\/337180.337206"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-642-31128-4_15","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2012","author":"J. Cunha","year":"2012","unstructured":"Cunha, J., Fernandes, J.P., Ribeiro, H., Saraiva, J.: Towards a Catalog of Spreadsheet Smells. In: Murgante, B., Gervasi, O., Misra, S., Nedjah, N., Rocha, A.M.A.C., Taniar, D., Apduhan, B.O. (eds.) ICCSA 2012, Part IV. LNCS, vol.\u00a07336, pp. 202\u2013216. Springer, Heidelberg (2012)"},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1145\/566172.566186","volume-title":"Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2002","author":"M.M. Tikir","year":"2002","unstructured":"Tikir, M.M., Hollingsworth, J.K.: Efficient instrumentation for code coverage testing. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2002, pp. 86\u201396. ACM, New York (2002)"},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1109\/PRDC.2006.18","volume-title":"Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006","author":"R. Abreu","year":"2006","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.: An evaluation of similarity coefficients for software fault localization. In: Proceedings of the 12th Pacific Rim International Symposium on Dependable Computing, PRDC 2006, pp. 39\u201346. IEEE Computer Society, Washington, DC (2006)"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"662","DOI":"10.1109\/ASE.2009.27","volume-title":"Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009","author":"T. Janssen","year":"2009","unstructured":"Janssen, T., Abreu, R., van Gemund, A.: Zoltar: A toolset for automatic fault localization. In: Proceedings of the 2009 IEEE\/ACM International Conference on Automated Software Engineering, ASE 2009, pp. 662\u2013664. IEEE Computer Society, Washington, DC (2009)"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1145\/2351676.2351752","volume-title":"Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012","author":"J. Campos","year":"2012","unstructured":"Campos, J., Riboira, A., Perez, A., Abreu, R.: Gzoltar: an eclipse plug-in for testing and debugging. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012, pp. 378\u2013381. ACM, New York (2012)"},{"key":"6_CR24","unstructured":"Wotawa, F.: Bridging the gap between slicing and model-based diagnosis. In: Proceedings of the International Conference on Software Engineering & Knowledge Engineering (SEKE 2008), pp. 836\u2013841 (2008)"},{"issue":"4","key":"6_CR25","first-page":"359","volume":"32","author":"F. Wotawa","year":"2008","unstructured":"Wotawa, F., Nica, M.: On the compilation of programs into their equivalent constraint representation. Informatica (Slovenia)\u00a032(4), 359\u2013371 (2008)","journal-title":"Informatica (Slovenia)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Mutation operators for spreadsheets. IEEE Transactions on Software Engineering, 94\u2013108 (2009)","DOI":"10.1109\/TSE.2008.73"},{"key":"6_CR27","doi-asserted-by":"crossref","unstructured":"Hofer, B., Wotawa, F.: On the empirical evaluation of fault localization techniques for spreadsheets. In: 12th International Conference on Quality Software, pp. 41\u201348 (2012)","DOI":"10.1109\/QSIC.2012.44"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37057-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:32:43Z","timestamp":1745962363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37057-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370564","9783642370571"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37057-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}