{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T10:40:01Z","timestamp":1748688001811,"version":"3.41.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319259444"},{"type":"electronic","value":"9783319259451"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25945-1_8","type":"book-chapter","created":{"date-parts":[[2015,11,7]],"date-time":"2015-11-07T03:20:37Z","timestamp":1446866437000},"page":"124-140","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Testing for Distinguishing Repair Candidates in Spreadsheets \u2013 the Mussco Approach"],"prefix":"10.1007","author":[{"given":"Rui","family":"Abreu","sequence":"first","affiliation":[]},{"given":"Simon","family":"Au\u00dferlechner","sequence":"additional","affiliation":[]},{"given":"Birgit","family":"Hofer","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,8]]},"reference":[{"key":"8_CR1","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, pp. 251\u2013260. IEEE Computer Society, Washington, DC, USA (2007)","DOI":"10.1109\/ICSE.2007.39"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/j.jvlc.2006.06.001","volume":"18","author":"R Abraham","year":"2007","unstructured":"Abraham, R., Erwig, M.: UCheck: a spreadsheet type checker for end users. J. Vis. Lang. Comput. 18, 71\u201395 (2007)","journal-title":"J. Vis. Lang. Comput."},{"issue":"2","key":"8_CR3","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":"8_CR4","doi-asserted-by":"crossref","unstructured":"Ahmad, Y., Antoniu, T., Goldwater, S., Krishnamurthi, S.: A type system for statically detecting spreadsheet errors. In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), pp. 174\u2013183. IEEE Computer Society (2003)","DOI":"10.1109\/ASE.2003.1240305"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Ausserlechner, S., Fruhmann, S., Wieser, W., Hofer, B., Spork, R., M\u00fchlbacher, C., Wotawa, F.: The right choice matters! SMT solving substantially improves model-based debugging of spreadsheets. In: 2013 13th International Conference on Quality Software (QSIC 2013). pp. 139\u2013148 (2013)","DOI":"10.1109\/QSIC.2013.46"},{"issue":"2","key":"8_CR6","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. Softw. Qual. Control 9(2), 133\u2013143 (2001)","journal-title":"Softw. Qual. Control"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"8_CR8","volume-title":"Constraint Processing","author":"R Dechter","year":"2003","unstructured":"Dechter, R.: Constraint Processing. Morgan Kaufmann, San Mateo (2003)"},{"key":"8_CR9","volume-title":"Elements of Software Science (Operating and programming systems series)","author":"MH Halstead","year":"1977","unstructured":"Halstead, M.H.: Elements of Software Science (Operating and programming systems series). Elsevier Science Inc., New York (1977)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Hofer, B., Perez, A., Abreu, R., Wotawa, F.: On the empirical evaluation of similarity coefficients for spreadsheets fault localization. In: Journal of Automated Software Engineering - Special Issue on Realizing Artificial Intelligence and Software Engineering Synergies, vol. 22(1), pp. 47\u201374. Springer, US (2015)","DOI":"10.1007\/s10515-014-0145-3"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-642-37057-1_6","volume-title":"Fundamental Approaches to Software Engineering","author":"B Hofer","year":"2013","unstructured":"Hofer, B., Riboira, A., Wotawa, F., Abreu, R., Getzner, E.: On the empirical evaluation of fault localization techniques for spreadsheets. In: Cortellessa, V., Varr\u00f3, D. (eds.) FASE 2013 (ETAPS 2013). LNCS, vol. 7793, pp. 68\u201382. Springer, Heidelberg (2013)"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Hofer, B., Wotawa, F.: Mutation-based spreadsheet debugging. In: International workshop on program debugging (IWPD), - Supplemental Proceedings ISSRE 2013, pp. 132\u2013137 (2013)","DOI":"10.1109\/ISSREW.2013.6688892"},{"key":"8_CR13","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, pp. 252\u2013264. Kaunas, Lithuania (2010)"},{"issue":"3","key":"8_CR14","doi-asserted-by":"publisher","first-page":"21:1","DOI":"10.1145\/1922649.1922658","volume":"43","author":"AJ Ko","year":"2011","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 Comput. Surv. 43(3), 21:1\u201321:4 (2011)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10817-007-9084-z","volume":"40","author":"MH Liffiton","year":"2008","unstructured":"Liffiton, M.H., Sakallah, K.A.: Algorithms for computing minimal unsatisfiable subsets of constraints. J. Autom. Reasoning (JAR) 40(1), 1\u201333 (2008)","journal-title":"J. Autom. Reasoning (JAR)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1007\/978-3-642-02777-2_44","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2009","author":"MH Liffiton","year":"2009","unstructured":"Liffiton, M.H., Sakallah, K.A.: Generalizing core-guided max-SAT. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol. 5584, pp. 481\u2013494. Springer, Heidelberg (2009)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Nica, M., Nica, S., Wotawa, F.: On the use of mutations and testing for debugging. Software : practice & experience (2012). http:\/\/dx.doi.org\/10.1002\/spe.1142","DOI":"10.1002\/spe.1142"},{"issue":"2","key":"8_CR18","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1080\/07421222.1999.11518250","volume":"16","author":"RR Panko","year":"1999","unstructured":"Panko, R.R.: Applying code inspection to spreadsheet testing. J. Manag. Inf. Syst. 16(2), 159\u2013176 (1999)","journal-title":"J. Manag. Inf. Syst."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Panko, R.R., Port, D.: End user computing: The dark matter (and dark energy) of corporate IT. In: Proceedings of the 45th Hawaii International Conference on Systems Science (HICSS-45 2012), pp. 4603\u20134612 (2012)","DOI":"10.1109\/HICSS.2012.244"},{"issue":"1","key":"8_CR20","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":"8_CR21","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: Proceedings of the 22nd International Conference on Software engineering ICSE 2000, pp. 230\u2013239. ACM, New York (2000)","DOI":"10.1145\/337180.337206"},{"key":"8_CR22","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: Proceedings of the 2003 ACM Symposium on Software visualization (SoftVis 2003), pp. 123\u2013132. ACM, New York (2003)","DOI":"10.1145\/774833.774851"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Weimer, W., Nguyen, T., Le Goues, C., Forrest, S.: Automatically finding patches using genetic programming. In: Proceedings of the 31st International Conference on Software Engineering ICSE 2009, pp. 364\u2013374. IEEE Computer Society, Washington, DC (2009)","DOI":"10.1109\/ICSE.2009.5070536"}],"container-title":["Lecture Notes in Computer Science","Testing Software and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25945-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T10:24:01Z","timestamp":1748687041000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25945-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319259444","9783319259451"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25945-1_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"8 November 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}