{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,3]],"date-time":"2026-10-03T00:37:04Z","timestamp":1790987824254,"version":"4.1.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/icse.2003.1201191","type":"proceedings-article","created":{"date-parts":[[2004,6,22]],"date-time":"2004-06-22T20:27:43Z","timestamp":1087936063000},"page":"93-103","source":"Crossref","is-referenced-by-count":65,"title":["End-user software engineering with assertions in the spreadsheet paradigm"],"prefix":"10.1109","author":[{"given":"M.","family":"Burnett","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Cook","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"O.","family":"Pendse","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"G.","family":"Rothermel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"J.","family":"Summet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"C.","family":"Wallace","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"19","first-page":"100","article-title":"Finding spreadsheet errors: Most spreadsheet models have design flaws that may lead to long-term miscalculation","author":"panko","year":"1995","journal-title":"Information Week"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/502348.502361"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.2000.0410"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TOOLS.2001.941679"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2001.972713"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1006\/ijhc.1994.1079"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/581356.581359"},{"key":"12","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1145\/581376.581377","article-title":"Tracking Down Software Bugs using Automatic Anomaly Detection","author":"sudheendra hangal","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/581376.581378"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.4018\/joeuc.1998040102"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"23","first-page":"10","article-title":"Concurrent runtime checking of annotated ada programs","author":"rosenblum","year":"0","journal-title":"Conf Foundations Soft Technology and Theoretical Comp Science (LNCS 241) NY Springer-Verlag Dec 1986"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/366378.366385"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/2.204684"},{"key":"26","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/ICSE.2002.1007952","article-title":"Propel: An Approach Supporting Property Elucidation","author":"rachel l smith","year":"2002","journal-title":"Proceedings of the 24th International Conference on Software Engineering ICSE 2002"},{"key":"27","article-title":"End-user assertions: Propagating their implications","author":"summet","year":"2002"},{"key":"28","first-page":"63","article-title":"Assertions in end-user software engineering: A think-aloud study (tech note)","author":"wallace","year":"0","journal-title":"IEEE Symp Human-Centric Lang Environ Arlington VA Sept 2002"},{"key":"29","first-page":"50","article-title":"An exception-based assertion mechanism for C++","volume":"11","author":"welch","year":"1998","journal-title":"J Object-Oriented Prog"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/HCC.2002.1046367"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/SEEP.1996.534006"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302467"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/S0364-0213(84)80009-9"},{"key":"30","first-page":"258","article-title":"Does continuous visual feedback aid debugging in direct-manipulation programming system?","author":"wilcox","year":"0","journal-title":"ACM Conf Human Factors in Computing Systems Mar 1997"},{"key":"7","article-title":"Does a visual \"testedness\" methodology aid debugging?","author":"cook","year":"2001"},{"key":"6","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1017\/S0956796800003828","article-title":"Forms\/3: A first-order visual language to explore the boundaries of the spreadsheet paradigm","author":"burnett","year":"2001","journal-title":"J Functional Programming"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2000.841781"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1145\/642663.642665"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/345124.345143"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"8","first-page":"1548","article-title":"Trust in the online environment","volume":"1","author":"corritore","year":"2001","journal-title":"HCI International"}],"event":{"name":"25th International Conference on Software Engineering, 2003. Proceedings.","location":"Portland, OR, USA","start":{"date-parts":[[2003,5,10]]},"end":{"date-parts":[[2003,5,10]]}},"container-title":["25th International Conference on Software Engineering, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8548\/27042\/01201191.pdf?arnumber=1201191","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,2]],"date-time":"2020-04-02T14:08:30Z","timestamp":1585836510000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1201191\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/icse.2003.1201191","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}