{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,19]],"date-time":"2026-03-19T14:29:46Z","timestamp":1773930586081,"version":"3.50.1"},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2014,2,12]],"date-time":"2014-02-12T00:00:00Z","timestamp":1392163200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2016,3]]},"DOI":"10.1007\/s10515-014-0141-7","type":"journal-article","created":{"date-parts":[[2014,2,11]],"date-time":"2014-02-11T15:00:37Z","timestamp":1392130837000},"page":"105-144","source":"Crossref","is-referenced-by-count":35,"title":["Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach"],"prefix":"10.1007","volume":"23","author":[{"given":"Dietmar","family":"Jannach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Schmitz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,12]]},"reference":[{"key":"141_CR1","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"},{"key":"141_CR2","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: Inferring templates from spreadsheets. In: Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, pp. 182\u2013191 (2006)","DOI":"10.1145\/1134285.1134312"},{"key":"141_CR3","doi-asserted-by":"crossref","unstructured":"Abraham, R., Erwig, M.: GoalDebug: a spreadsheet debugger for end users. In: Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, pp. 251\u2013260 (2007)","DOI":"10.1109\/ICSE.2007.39"},{"issue":"1","key":"141_CR4","doi-asserted-by":"crossref","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."},{"key":"141_CR5","doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: An observation-based model for fault localization. In: Proceedings of the 6th International Workshop on Dynamic Analysis (WODA 2008), New York, NY, USA, pp. 64\u201370 (2008)","DOI":"10.1145\/1401827.1401841"},{"key":"141_CR6","unstructured":"Abreu, R., Riboira, A., Wotawa, F.: Constraint-based debugging of spreadsheets. In: Proceedings of the 15th Ibero-American Conference on Software Engineering (CIbSE 2012), Buenos Aires, Argentina, pp. 1\u201314 (2012)"},{"key":"141_CR7","unstructured":"Asavametha, A.: Detecting bad smells in spreadsheets. Master\u2019s thesis, School of Electrical Engineering and Computer Science, Oregon State University, USA (2012)"},{"issue":"3","key":"141_CR8","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1145\/27641.28058","volume":"5","author":"PS Brown","year":"1987","unstructured":"Brown, P.S., Gould, J.D.: An experimental study of people creating spreadsheets. ACM Trans. Inf. Syst. 5(3), 258\u2013272 (1987)","journal-title":"ACM Trans. Inf. Syst."},{"issue":"6","key":"141_CR9","doi-asserted-by":"crossref","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":"141_CR10","doi-asserted-by":"crossref","unstructured":"Burnett, M., Cook, C., Pendse, O., Rothermel, G., Summet, J., Wallace, C.: End-user software engineering with assertions in the spreadsheet paradigm. In: Proceedings of the 25th International Conference on Software Engineering (ICSE 2003), Portland, Oregon, pp. 93\u2013103 (2003)","DOI":"10.1109\/ICSE.2003.1201191"},{"key":"141_CR11","doi-asserted-by":"crossref","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), Essen, Germany, pp. 378\u2013381 (2012)","DOI":"10.1145\/2351676.2351752"},{"issue":"2","key":"141_CR12","doi-asserted-by":"crossref","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. Softw. Qual. Control 9(2), 133\u2013143 (2001)","journal-title":"Softw. Qual. Control"},{"issue":"1\u20132","key":"141_CR13","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1016\/j.artint.2003.06.003","volume":"155","author":"L Chittaro","year":"2004","unstructured":"Chittaro, L., Ranon, R.: Hierarchical model-based diagnosis based on structural abstraction. Artif. Intell. 155(1\u20132), 147\u2013182 (2004)","journal-title":"Artif. Intell."},{"key":"141_CR14","doi-asserted-by":"crossref","unstructured":"Console, L., Friedrich, G., Dupr\u00e9, D.T.: Model-based diagnosis meets error diagnosis in logic programs. In: Proceedings of the 13th International Joiunt Conference on Artificial Intelligence (IJCAI 1993), Chamb\u00e9ry, France, pp. 1494\u20131499 (1993)","DOI":"10.1007\/BFb0019402"},{"issue":"6","key":"141_CR15","first-page":"90","volume":"159","author":"R Creeth","year":"1985","unstructured":"Creeth, R.: Micro-computer spreadsheets: their uses and abuses. J. Account. 159(6), 90\u201393 (1985)","journal-title":"J. Account."},{"key":"141_CR16","doi-asserted-by":"crossref","unstructured":"Cunha, J., Fernandes, JaP., Ribeiro, H., Saraiva, Ja.: 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"},{"issue":"3","key":"141_CR17","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1016\/0004-3702(90)90012-O","volume":"45","author":"J Kleer de","year":"1990","unstructured":"de Kleer, J.: Using crude probability estimates to guide diagnosis. Artif. Intell. 45(3), 381\u2013391 (1990)","journal-title":"Artif. Intell."},{"issue":"1","key":"141_CR18","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J Kleer de","year":"1987","unstructured":"de Kleer, J., Williams, B.C.: Diagnosing multiple faults. Artif. Intell. 32(1), 97\u2013130 (1987)","journal-title":"Artif. Intell."},{"issue":"1","key":"141_CR19","first-page":"60","volume":"11","author":"S Ditlea","year":"1987","unstructured":"Ditlea, S.: Spreadsheets can be hazardous to your health. Pers. Comput. 11(1), 60\u201369 (1987)","journal-title":"Pers. Comput."},{"key":"141_CR20","unstructured":"Felfernig, A., Schubert, M.: FastDiag: a diagnosis algorithm for inconsistent constraint sets. In: Proceedings of the 21st International Workshop on the Principles of Diagnosis (DX 2010), Portland, OR, USA, pp. 31\u201338 (2010)"},{"key":"141_CR21","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 Artificial Intelligence (KI 2001), Vienna, Austria, pp. 185\u2013197 (2001)","DOI":"10.1007\/3-540-45422-5_14"},{"issue":"2","key":"141_CR22","doi-asserted-by":"crossref","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":"141_CR23","doi-asserted-by":"crossref","unstructured":"Filby, G. (ed.): Spreadsheets in Science and Engineering. Springer, Berlin (1998)","DOI":"10.1007\/978-3-642-80249-2"},{"issue":"1\u20133","key":"141_CR24","first-page":"278","volume":"58","author":"EC Freuder","year":"1992","unstructured":"Freuder, E.C., Wallace, R.J., Heffernan, R.: Partial constraint satisfaction. Artif. Intell. 58(1\u20133), 278\u2013283 (1992)","journal-title":"Artif. Intell."},{"key":"141_CR25","unstructured":"Friedrich, G., Nejdl, W.: Choosing observations and actions in model-based diagnosis\/repair systems. In: Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992), Cambridge, MA, USA, pp. 489\u2013498 (1992)"},{"issue":"1\u20132","key":"141_CR26","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G Friedrich","year":"1999","unstructured":"Friedrich, G., Stumptner, M., Wotawa, F.: Model-based diagnosis of hardware designs. Artif. Intell. 111(1\u20132), 3\u201339 (1999)","journal-title":"Artif. Intell."},{"issue":"2","key":"141_CR27","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0959-8022(93)90001-M","volume":"3","author":"DF Galletta","year":"1993","unstructured":"Galletta, D.F., Abraham, D., Louadi, M.E., Lekse, W., Pollalis, Y.A., Sampler, J.L.: An empirical study of spreadsheet error-finding performance. Account. Manag. Inf. Technol. 3(2), 79\u201395 (1993)","journal-title":"Account. Manag. Inf. Technol."},{"issue":"1","key":"141_CR28","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artif. Intell. 41(1), 79\u201388 (1989)","journal-title":"Artif. Intell."},{"key":"141_CR29","unstructured":"Hermans, F.: Improving spreadsheet test practices. In: Proceedings of the 23rd Annual International Conference on Computer Science and Software Engineering (CASCON 2013), Markham, Ontario, Canada, pp. 56\u201369 (2013)"},{"key":"141_CR30","doi-asserted-by":"crossref","unstructured":"Hermans, F., Pinzger, M., van Deursen, A.: Detecting and visualizing inter-worksheet smells in spreadsheets. In: Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, pp. 441\u2013451 (2012)","DOI":"10.1109\/ICSE.2012.6227171"},{"key":"141_CR31","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), pp. 409\u2013418. Trento, Riva del Garda (2012)","DOI":"10.1109\/ICSM.2012.6405300"},{"key":"141_CR32","doi-asserted-by":"crossref","unstructured":"Herndon, T., Ash, M., Pollin, R.: Does high public debt consistently stifle economic growth? A critique of Reinhart and Rogoff. Working paper 322, Political Economy Research Institute, University of Massachusetts, Amherst (2013)","DOI":"10.1093\/cje\/bet075"},{"key":"141_CR33","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"},{"key":"141_CR34","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\u2013264 (2010)"},{"key":"141_CR35","doi-asserted-by":"crossref","unstructured":"Jannach, D., Baharloo, A., Williamson, D.: Toward an integrated framework for declarative and interactive spreadsheet debugging. In: Procedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2013), Angers, France, pp. 117\u2013124 (2013)","DOI":"10.5220\/0004410601170124"},{"key":"141_CR36","doi-asserted-by":"crossref","unstructured":"Jones, J.A., Harrold, M.J., Stasko, J.: Visualization of test information to assist fault localization. In: Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL, USA, pp. 467\u2013477 (2002)","DOI":"10.1145\/581396.581397"},{"key":"141_CR37","unstructured":"Junker, U.: QUICKXPLAIN: preferred explanations and relaxations for over-constrained problems. In: Proceedings of the 19th National Conference on Artificial Intelligence (AAAI 2004), San Jose, CA, USA, pp. 167\u2013172 (2004)"},{"key":"141_CR38","doi-asserted-by":"crossref","unstructured":"Larrosa, J., Meseguer, P., Schiex, T.: Maintaining reversible DAC for Max-CSP. Artif. Intell. 107(1), 149\u2013163 (1999)","DOI":"10.1016\/S0004-3702(98)00108-8"},{"key":"141_CR39","unstructured":"Mateis, C., Stumptner, M., Wieland, D., Wotawa, F.: Model-based debugging of Java Programs. In: Proceedings of the Fourth International Workshop on Automated Debugging (AADEBUG 2000), Munich, Germany (2000)"},{"key":"141_CR40","doi-asserted-by":"crossref","unstructured":"Metodi, A., Stern, R., Kalech, M., Codish, M.: Compiling model-based diagnosis to Boolean satisfaction. In: Proceedings of the 26th AAAI Conference on Artificial Intelligence (AAAI 2012), Toronto, Canada (2012)","DOI":"10.1609\/aaai.v26i1.8222"},{"issue":"2","key":"141_CR41","doi-asserted-by":"crossref","first-page":"15","DOI":"10.4018\/joeuc.1998040102","volume":"10","author":"RR Panko","year":"1998","unstructured":"Panko, R.R.: What we know about spreadsheet errors. J. End User Comput. 10(2), 15\u201321 (1998)","journal-title":"J. End User Comput."},{"key":"141_CR42","doi-asserted-by":"crossref","unstructured":"Panko, R.R., Halverson, R.P.: Spreadsheets on trial: a survey of research on spreadsheet risks. In: Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS 1996), Wailea, HI, USA, pp. 326\u2013335 (1996)","DOI":"10.1109\/HICSS.1996.495416"},{"key":"141_CR43","doi-asserted-by":"crossref","unstructured":"Panko, R.R., Port, D.N.: End user computing: the dark matter (and dark energy) of corporate IT. In: Proceedings of the 45th Hawaii International Conference on System Sciences (HICSS 2012), Wailea, HI, USA, pp. 4603\u20134612 (2012)","DOI":"10.1109\/HICSS.2012.244"},{"key":"141_CR44","doi-asserted-by":"crossref","unstructured":"Parnin, C., Orso, A.: Are automated debugging techniques actually helping programmers?. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis (ISSTA 2011), Toronto, Canada, pp. 199\u2013209 (2011)","DOI":"10.1145\/2001420.2001445"},{"issue":"8","key":"141_CR45","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1108\/02635570010353938","volume":"100","author":"J Pemberton","year":"2000","unstructured":"Pemberton, J., Robson, A.: Spreadsheets in business. Ind. Manag. Data Syst. 100(8), 379\u2013388 (2000)","journal-title":"Ind. Manag. Data Syst."},{"issue":"1","key":"141_CR46","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1016\/j.dss.2008.06.001","volume":"46","author":"SG Powell","year":"2008","unstructured":"Powell, S.G., Baker, K.R., Lawson, B.: A critical review of the literature on spreadsheet errors. Decis. Support Syst. 46(1), 128\u2013138 (2008)","journal-title":"Decis. Support Syst."},{"key":"141_CR47","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, Texas, pp. 25\u201338 (1999)","DOI":"10.1145\/331960.331968"},{"issue":"2","key":"141_CR48","doi-asserted-by":"crossref","first-page":"573","DOI":"10.1257\/aer.100.2.573","volume":"100","author":"CM Reinhart","year":"2010","unstructured":"Reinhart, C.M., Rogoff, K.S.: Growth in a time of debt. Am. Econ. Rev. 100(2), 573\u2013578 (2010)","journal-title":"Am. Econ. Rev."},{"issue":"1","key":"141_CR49","doi-asserted-by":"crossref","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":"141_CR50","doi-asserted-by":"crossref","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)","DOI":"10.1109\/ICSE.1998.671118"},{"key":"141_CR51","doi-asserted-by":"crossref","first-page":"88","DOI":"10.1016\/j.websem.2011.12.006","volume":"12\u201313","author":"K Shchekotykhin","year":"2012","unstructured":"Shchekotykhin, K., Friedrich, G., Fleiss, P., Rodler, P.: Interactive ontology debugging: two query strategies for efficient fault localization. J. Web Semant. 12\u201313, 88\u2013103 (2012)","journal-title":"J. Web Semant."},{"key":"141_CR52","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1016\/0004-3702(95)00052-6","volume":"81","author":"BM Smith","year":"1994","unstructured":"Smith, B.M.: Locating the phase transition in binary constraint satisfaction problems. Artif. Intell. 81, 155\u2013181 (1994)","journal-title":"Artif. Intell."},{"key":"141_CR53","doi-asserted-by":"crossref","unstructured":"Stumptner, M., Wotawa, F.: Model-based program debugging and repair. In: Proceedings of the 9th International Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA\/AIE 1996), Fukuoka, Japan, pp. 155\u2013160 (1996)","DOI":"10.1201\/9780429332111-27"},{"key":"141_CR54","unstructured":"Stumptner, M., Wotawa, F.: Debugging functional programs. In: Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI 1999), Stockholm, Sweden, pp. 1074\u20131079 (1999)"},{"issue":"1","key":"141_CR55","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0004-3702(01)00054-6","volume":"127","author":"M Stumptner","year":"2001","unstructured":"Stumptner, M., Wotawa, F.: Diagnosing tree-structured systems. Artif. Intell. 127(1), 1\u201329 (2001)","journal-title":"Artif. Intell."},{"key":"141_CR56","volume-title":"Foundations of Constraint Satisfaction","author":"E Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, London (1993)"},{"issue":"1","key":"141_CR57","doi-asserted-by":"crossref","first-page":"133","DOI":"10.3233\/AIC-2012-0548","volume":"26","author":"F Wotawa","year":"2013","unstructured":"Wotawa, F., Pill, I.: On classification and modeling issues in distributed model-based diagnosis. AI Commun. 26(1), 133\u2013143 (2013)","journal-title":"AI Commun."},{"key":"141_CR58","doi-asserted-by":"crossref","unstructured":"Wotawa, F., Weber, J.: Challenges of distributed model-based diagnosis. In: Trends in Applied Intelligent Systems, Springer, Lecture Notes in Computer Science, pp. 711\u2013720 (2010)","DOI":"10.1007\/978-3-642-13022-9_71"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0141-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-014-0141-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-014-0141-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T20:45:32Z","timestamp":1746132332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-014-0141-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,2,12]]},"references-count":58,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2016,3]]}},"alternative-id":["141"],"URL":"https:\/\/doi.org\/10.1007\/s10515-014-0141-7","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,2,12]]}}}