{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,18]],"date-time":"2026-01-18T01:07:54Z","timestamp":1768698474992,"version":"3.49.0"},"reference-count":70,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/3.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund (FWF) project DEbugging Of Spreadsheet Programs","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":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1109\/tr.2016.2632151","type":"journal-article","created":{"date-parts":[[2017,1,4]],"date-time":"2017-01-04T19:09:52Z","timestamp":1483556992000},"page":"38-53","source":"Crossref","is-referenced-by-count":12,"title":["Combining Models for Improved Fault Localization in Spreadsheets"],"prefix":"10.1109","volume":"66","author":[{"given":"Birgit","family":"Hofer","sequence":"first","affiliation":[]},{"given":"Andrea","family":"Hofler","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref70","article-title":"Metamorphic testing: A new approach for generating next text cases","author":"chen","year":"1998","journal-title":"Technical Report HKUST-CS98-01"},{"key":"ref39","first-page":"417","article-title":"Can AI help to improve debugging substantially? Debugging experiences with value-based models","author":"mayer","year":"2002","journal-title":"Proc Eur Conf Artif Intell"},{"key":"ref38","article-title":"Static and hybrid analysis in model-based debugging","author":"mayer","year":"2007"},{"key":"ref33","doi-asserted-by":"crossref","DOI":"10.22215\/etd\/1994-02877","article-title":"Logic programs for consistency-based diagnosis","author":"bond","year":"1994"},{"key":"ref32","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","author":"shapiro","year":"1983","journal-title":"Algorithmic Program Debugging"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1984.5010248"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/358557.358577"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.23"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.12.030"},{"key":"ref35","first-page":"1074","article-title":"Debugging functional programs","author":"stumptner","year":"1999","journal-title":"Proc Int Joint Conf Artif Intell"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.5"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405300"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985855"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227171"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606575"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.73"},{"key":"ref64","article-title":"Measuring spreadsheet formula understandability","author":"hermans","year":"2012","journal-title":"Comput Res Repository"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/978-3-642-37057-1_6","article-title":"On the empirical evaluation of fault localization techniques for spreadsheets","author":"hofer","year":"2013","journal-title":"Proc 13th Int Conf Fundamental Approaches Software Eng"},{"key":"ref65","first-page":"56","article-title":"Improving spreadsheet test practices","author":"hermans","year":"2013","journal-title":"Proc Conf Center Adv Studies Collaborat Res"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.03.058"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90079-9"},{"key":"ref67","first-page":"877","article-title":"Automatic program bug location by program slicing","author":"lyle","year":"1987","journal-title":"Proc 2nd Int Conf Comput Appl"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1145\/2147783.2147788"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1108\/ITP-01-2013-0004"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1023\/A:1016631003750"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1922649.1922658"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2014.23"},{"key":"ref22","author":"dechter","year":"2003","journal-title":"Constraint Processing"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"ref24","article-title":"Condiag-computing minimal diagnoses using a constraint solver","author":"nica","year":"2012","journal-title":"Proc 23rd Workshop Prin Diag"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2012.03.002"},{"key":"ref26","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1082983.1083242","article-title":"The EUSES spreadsheet corpus: A shared resource for supporting experimentation with spreadsheet dependability mechanisms","volume":"30","author":"fisher","year":"2005","journal-title":"SIGSOFT Softw Eng Notes"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070507"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2005.67"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337206"},{"key":"ref59","article-title":"Complexity metrics for spreadsheet models","author":"bregar","year":"2008","journal-title":"Comput Res Repository"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2002.1173080"},{"key":"ref57","first-page":"202","article-title":"Towards a catalog of spreadsheet smells","author":"cunha","year":"2012","journal-title":"Proc 12th Int Conf Comput Sci Appl"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227239"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201191"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.33"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2006.11"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/581356.581359"},{"key":"ref10","first-page":"1","article-title":"Constraint-based debugging of spreadsheets","author":"abreu","year":"2012","journal-title":"Proc Ibero-Amer Conf Softw Eng"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2012.31"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45049-1_21"},{"key":"ref12","first-page":"139","article-title":"The right choice matters! SMT solving substantially improves model-based debugging of spreadsheets","author":"au\u00dferlechner","year":"2013","journal-title":"Proc 13th Int Conf Quality Softw"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2010.22"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1145\/1480945.1480972","article-title":"From spreadsheets to relational databases and back","author":"cunha","year":"2009","journal-title":"Proc ACM SIGPLAN Workshop Partial Eval Program Manipulation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227073"},{"key":"ref16","first-page":"98","article-title":"Minion: A fast, scalable, constraint solver","author":"gent","year":"2006","journal-title":"Proc 17th Eur Conf Artif Intell"},{"key":"ref17","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Int Conf Tools and Algorithms Constr and Anal Syst"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00034-X"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00161-8"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1093\/cje\/bet075"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1257\/aer.100.2.573"},{"key":"ref6","article-title":"Thinking is bad: Implications of human error research for spreadsheet research and practice","author":"panko","year":"2008"},{"key":"ref5","article-title":"Report of JPMorgan chase & co. management task force regarding 2012 cio losses","year":"2013"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-014-0141-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0019402"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2006.06.001"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1007\/s11219-014-9236-4","article-title":"Using constraints to diagnose faulty spreadsheets","volume":"23","author":"abreu","year":"2014","journal-title":"Softw Qual J"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/774849.774851"},{"key":"ref45","article-title":"Spreadsheet debugging","author":"ayalew","year":"2008","journal-title":"Comput Res Repository"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.39"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/VLHCC.2005.42"},{"key":"ref42","first-page":"359","article-title":"On the compilation of programs into their equivalent constraint representation","volume":"32","author":"wotawa","year":"2008","journal-title":"Informatica (Slovenia)"},{"key":"ref41","article-title":"Model-based debugging of Java programs","author":"mateis","year":"2000","journal-title":"Proc Int Workshop Autom Debugging"},{"key":"ref44","first-page":"252","article-title":"Toward model-based debugging of spreadsheet programs","author":"jannach","year":"2010","journal-title":"Proc 9th Joint Conf Knowl -Based Softw Eng"},{"key":"ref43","first-page":"22","article-title":"On the complexity of program debugging using constraints for modeling the program's syntax and semantics","author":"wotawa","year":"2009","journal-title":"Proc 13th Conf Spanish Assoc Artif Intell"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/7867805\/07805307.pdf?arnumber=7805307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T00:21:51Z","timestamp":1749860511000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7805307\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":70,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tr.2016.2632151","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]}}}