{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:59:07Z","timestamp":1767034747168,"version":"3.37.3"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,12,22]],"date-time":"2018-12-22T00:00:00Z","timestamp":1545436800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["I2144"],"award-info":[{"award-number":["I2144"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"publisher","award":["JA 2095\/4-1"],"award-info":[{"award-number":["JA 2095\/4-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2019,3]]},"DOI":"10.1007\/s10515-018-0250-9","type":"journal-article","created":{"date-parts":[[2018,12,22]],"date-time":"2018-12-22T07:09:05Z","timestamp":1545462545000},"page":"203-239","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Fragment-based spreadsheet debugging"],"prefix":"10.1007","volume":"26","author":[{"given":"Dietmar","family":"Jannach","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Schmitz","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Hofer","sequence":"additional","affiliation":[]},{"given":"Konstantin","family":"Schekotihin","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,12,22]]},"reference":[{"key":"250_CR1","unstructured":"Abraham, R., Erwig, M.: Goal-directed debugging of spreadsheets. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Dallas, TX, USA, pp. 37\u201344 (2005)"},{"key":"250_CR2","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: AutoTest: a tool for automatic test case generation in spreadsheets. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2006), Brighton, United Kingdom, pp. 43\u201350 (2006)","DOI":"10.1109\/VLHCC.2006.11"},{"issue":"1","key":"250_CR3","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/TSE.2008.73","volume":"35","author":"R Abraham","year":"2009","unstructured":"Abraham, R., Erwig, M.: Mutation operators for spreadsheets. IEEE Trans. Softw. Eng. 35(1), 94\u2013108 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"250_CR4","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/s11219-014-9236-4","volume":"23","author":"R Abreu","year":"2015","unstructured":"Abreu, R., Hofer, B., Perez, A., Wotawa, F.: Using constraints to diagnose faulty spreadsheets. Softw. Qual. J. 23(2), 297\u2013322 (2015)","journal-title":"Softw. Qual. J."},{"key":"250_CR5","doi-asserted-by":"crossref","unstructured":"Almeida, L., Cirilo, E., Barbosa, E.A.: SS-BDD: automated acceptance testing for spreadsheets. In: Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing (SAST 2016), New York City, NY, USA, pp. 5:1\u20135:10 (2016)","DOI":"10.1145\/2993288.2993296"},{"key":"250_CR6","unstructured":"AlTarawneh, G., Thorne, S.: A pilot study exploring spreadsheet risk in scientific research. In: Proceedings of the Annual Spreadsheet Risks Conference (EuSpRIG 2016), London, United Kingdom (2016)"},{"issue":"6","key":"250_CR7","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1109\/TSE.2002.1010060","volume":"28","author":"M Burnett","year":"2002","unstructured":"Burnett, M., Sheretov, A., Ren, B., Rothermel, G.: Testing homogeneous spreadsheet grids with the \u201cwhat you see is what you test\u201d methodology. IEEE Trans. Softw. Eng. 28(6), 576\u2013594 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"250_CR8","doi-asserted-by":"crossref","unstructured":"Chen, T.Y.: Metamorphic testing: a simple approach to alleviate the oracle problem. In: Proceedings of the 5th IEEE International Symposium on Service-Oriented System Engineering (SOSE 2010), Nanjing, China, pp. 1\u20132 (2010)","DOI":"10.1109\/SOSE.2010.31"},{"key":"250_CR9","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, J.P., Ribeiro, H., Saraiva, J.: Towards a catalog of spreadsheet smells. In: Proceedings of the 12th International Conference on Computational Science and Its Applications (ICCSA 2012), Salvador de Bahia, Brazil, pp. 202\u2013216 (2012)","DOI":"10.1007\/978-3-642-31128-4_15"},{"key":"250_CR10","doi-asserted-by":"crossref","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M., Zanker, M.: Hierarchical diagnosis of large configurator knowledge bases. In: Proceedings of the Joint German Austrian Conference on AI (KI 2001), Vienna, Austria, pp. 185\u2013197 (2001)","DOI":"10.1007\/3-540-45422-5_14"},{"issue":"2","key":"250_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0004-3702(03)00117-6","volume":"152","author":"A Felfernig","year":"2004","unstructured":"Felfernig, A., Friedrich, G., Jannach, D., Stumptner, M.: Consistency-based diagnosis of configuration knowledge bases. Artif. Intell. 152(2), 213\u2013234 (2004)","journal-title":"Artif. Intell."},{"key":"250_CR12","unstructured":"Hermans, F.: Improving spreadsheet test practices. In: Proceedings of the 2013 Conference of the Center for Advanced Studies on Collaborative Research (CASCON 2013), Ontario, Canada, pp. 56\u201369 (2013)"},{"key":"250_CR13","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Supporting. In: Proceedings of the 33rd International Conference on Software Engineering (ICSE 2011), Waikiki, Honolulu, HI, USA, pp. 451\u2013460 (2011)"},{"key":"250_CR14","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Detecting code smells in spreadsheet formulas. In: Proceedings of the 28th IEEE International Conference on Software Maintenance (ICSM 2012), Riva del Garda, Trento, Italy, pp. 409\u2013418 (2012)","DOI":"10.1109\/ICSM.2012.6405300"},{"key":"250_CR15","unstructured":"Hodnigg, K., Mittermeir, R.T.: Metrics-based spreadsheet visualization\u2014support for focused maintenance. In: Proceedings of the 9th Annual Spreadsheet Risks Conference (EuSpRIG 2008), London, United Kingdom, pp. 79\u201394 (2008)"},{"key":"250_CR16","doi-asserted-by":"crossref","unstructured":"Hofer, B., Wotawa, F.: Why does my spreadsheet compute wrong values? In: Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, (ISSRE 2014), Naples, Italy, pp. 112\u2013121 (2014)","DOI":"10.1109\/ISSRE.2014.23"},{"key":"250_CR17","doi-asserted-by":"crossref","unstructured":"Hofer, B., Riboira, A., Wotawa, F., Abreu, R., Getzner, E.: On the empirical evaluation of fault localization techniques for spreadsheets. In: Proceedings of the 16th International Conference on Fundamental Approaches to Software Engineering (FASE 2013), Rome, Italy, pp. 68\u201382 (2013)","DOI":"10.1007\/978-3-642-37057-1_6"},{"issue":"1","key":"250_CR18","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s10515-014-0145-3","volume":"22","author":"B Hofer","year":"2015","unstructured":"Hofer, B., Perez, A., Abreu, R., Wotawa, F.: On the empirical evaluation of similarity coefficients for spreadsheets fault localization. Autom. Softw. Eng. 22(1), 47\u201374 (2015)","journal-title":"Autom. Softw. Eng."},{"key":"250_CR19","doi-asserted-by":"crossref","unstructured":"Hofer, B., Nica, I., Wotawa, F.: AI for localizing faults in spreadsheets. In: Proceedings of the 29th International Conference on Testing Software and Systems (ICTSS 2017), St. Petersburg, Russia, pp. 71\u201387 (2017)","DOI":"10.1007\/978-3-319-67549-7_5"},{"key":"250_CR20","unstructured":"Jannach, D., Engler, U.: Toward model-based debugging of spreadsheet programs. In: Proceedings of the 9th Joint Conference on Knowledge-Based Software Engineering (JCKBSE 2010), Kaunas, Lithuania, pp. 252\u2013262 (2010)"},{"issue":"1","key":"250_CR21","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/s10515-014-0141-7","volume":"23","author":"D Jannach","year":"2016","unstructured":"Jannach, D., Schmitz, T.: Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach. Autom. Softw. Eng. 23(1), 105\u2013144 (2016)","journal-title":"Autom. Softw. Eng."},{"key":"250_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.jss.2014.03.058","volume":"94","author":"D Jannach","year":"2014","unstructured":"Jannach, D., Schmitz, T., Hofer, B., Wotawa, F.: Avoiding, finding and fixing spreadsheet errors\u2014a survey of automated approaches for spreadsheet QA. J. Syst. Softw. 94, 129\u2013150 (2014)","journal-title":"J. Syst. Softw."},{"key":"250_CR23","unstructured":"Mittermeir, R., Clermont, M.: Finding high-level structures in spreadsheet programs. In: Proceedings of the Working Conference on Reverse Engineering, pp. 221\u2013231 (2002)"},{"issue":"2","key":"250_CR24","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.dss.2010.02.009","volume":"49","author":"RR Panko","year":"2010","unstructured":"Panko, R.R., Aurigemma, S.: Revising the Panko\u2013Halverson taxonomy of spreadsheet errors. Decis. Support Syst. 49(2), 235\u2013244 (2010)","journal-title":"Decis. Support Syst."},{"key":"250_CR25","doi-asserted-by":"publisher","unstructured":"Parnin, C., Orso, A.: Are automated debugging techniques actually helping programmers? In: Proceedings of the 2011 International Symposium on Software Testing and Analysis, ACM, New York, NY, USA, ISSTA \u201911, pp. 199\u2013209. (2011). \n                    https:\/\/doi.org\/10.1145\/2001420.2001445","DOI":"10.1145\/2001420.2001445"},{"issue":"4","key":"250_CR26","doi-asserted-by":"publisher","first-page":"440","DOI":"10.1108\/ITP-01-2013-0004","volume":"27","author":"P Poon","year":"2014","unstructured":"Poon, P., Kuo, F., Liu, H., Chen, T.Y.: How can non-technical end users effectively test their spreadsheets? IT People 27(4), 440\u2013462 (2014)","journal-title":"IT People"},{"key":"250_CR27","doi-asserted-by":"crossref","unstructured":"Reichwein, J., Rothermel, G., Burnett, M.: Slicing spreadsheets: an integrated methodology for spreadsheet testing and debugging. In: Proceedings of the 2nd Conference on Domain-Specific Languages (DSL 1999), Austin, TX, USA, pp. 25\u201338 (1999)","DOI":"10.1145\/331960.331968"},{"issue":"1","key":"250_CR28","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. Artif. Intell. 32(1), 57\u201395 (1987)","journal-title":"Artif. Intell."},{"key":"250_CR29","unstructured":"Rothermel, G., Li, L., Dupuis, C., Burnett, M.: What you see is what you test: a methodology for testing form-based visual programs. In: Proceedings of the 20th International Conference on Software Engineering (ICSE 1998), Kyoto, Japan, pp. 198\u2013207 (1998)"},{"key":"250_CR30","doi-asserted-by":"crossref","unstructured":"Roy, S., Hermans, F., van Deursen, A.: Spreadsheet testing in practice. In: Proceedings of the 24th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2017), Klagenfurt, Austria, pp. 338\u2013348 (2017)","DOI":"10.1109\/SANER.2017.7884634"},{"key":"250_CR31","first-page":"126","volume-title":"Artificial Intelligence: A Modern Approach","author":"S Russell","year":"2009","unstructured":"Russell, S., Norvig, P.: Artificial Intelligence: A Modern Approach, pp. 126\u2013129. Prentice Hall, Upper Saddle River (2009)"},{"key":"250_CR32","doi-asserted-by":"crossref","unstructured":"Rust, A., Bishop, B., McDaid, K.: Test-driven development: can it work for spreadsheet engineering? In: Proceedings of the 7th International Conference on Extreme Programming and Agile Processes in Software Engineering (XP 2006), Oulu, Finland, pp. 209\u2013210 (2006)","DOI":"10.1007\/11774129_28"},{"issue":"1\u20132","key":"250_CR33","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jvlc.2004.07.001","volume":"16","author":"JR Ruthruff","year":"2005","unstructured":"Ruthruff, J.R., Prabhakararao, S., Reichwein, J., Cook, C., Creswick, E., Burnett, M.: Interactive, visual fault localization support for end-user programmers. J. Vis. Lang. Comput. 16(1\u20132), 3\u201340 (2005)","journal-title":"J. Vis. Lang. Comput."},{"key":"250_CR34","unstructured":"Scaffidi, C., Shaw, M., Myers, B.: Estimating the numbers of end users and end user programmers. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2005), Washington, DC, USA, pp. 207\u2013214 (2005)"},{"key":"250_CR35","doi-asserted-by":"crossref","unstructured":"Schmitz, T., Jannach, D.: Finding errors in the enron spreadsheet corpus. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2016), Cambridge, United Kingdom, pp. 157\u2013161 (2016)","DOI":"10.1109\/VLHCC.2016.7739679"},{"key":"250_CR36","doi-asserted-by":"crossref","unstructured":"Schmitz, T., Jannach, D.: An AI-based interactive tool for spreadsheet debugging. In: Showpieces presented at the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2017), Raleigh, NC, USA (2017)","DOI":"10.1109\/VLHCC.2017.8103496"},{"key":"250_CR37","doi-asserted-by":"crossref","unstructured":"Schmitz, T., Hofer, B., Jannach, D., Wotawa, F.: Fragment-based diagnosis of spreadsheets. In: Proceedings of the 3rd International Workshop on Software Engineering Methods in Spreadsheets (SEMS 2016), Vienna, Austria, pp. 372\u2013387 (2016)","DOI":"10.1007\/978-3-319-50230-4_28"},{"key":"250_CR38","doi-asserted-by":"crossref","unstructured":"Schmitz, T., Jannach, D., Hofer, B., Koch, P., Schekotihin, K., Wotawa, F.: A decomposition-based approach to spreadsheet testing and debugging. In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC 2017), Raleigh, NC, USA (2017)","DOI":"10.1109\/VLHCC.2017.8103458"},{"key":"250_CR39","unstructured":"Shchekotykhin, K., Schmitz, T., Jannach, D.: Efficient sequential model-based fault-localization with partial diagnoses. In: Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2016), New York City, NY, USA, pp. 1251\u20131257 (2016)"},{"key":"250_CR40","unstructured":"Siddiqi, S., Huang, J.: Hierarchical diagnosis of multiple faults. In: Proceedings of the 20th International Joint Conference on Artifical Intelligence (IJCAI 2007), San Francisco, CA, USA, pp. 581\u2013586 (2007)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-018-0250-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-018-0250-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-018-0250-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,21]],"date-time":"2019-12-21T19:07:51Z","timestamp":1576955271000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-018-0250-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,22]]},"references-count":40,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,3]]}},"alternative-id":["250"],"URL":"https:\/\/doi.org\/10.1007\/s10515-018-0250-9","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"type":"print","value":"0928-8910"},{"type":"electronic","value":"1573-7535"}],"subject":[],"published":{"date-parts":[[2018,12,22]]},"assertion":[{"value":"27 October 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 December 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 December 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}