{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:21:33Z","timestamp":1751660493866,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/issre.2003.1251032","type":"proceedings-article","created":{"date-parts":[[2005,4,25]],"date-time":"2005-04-25T14:49:51Z","timestamp":1114440591000},"page":"71-84","source":"Crossref","is-referenced-by-count":3,"title":["Static specification analysis for termination of specification-based data structure repair"],"prefix":"10.1109","author":[{"given":"B.","family":"Demsky","sequence":"first","affiliation":[]},{"given":"M.","family":"Rinard","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/361179.361202"},{"journal-title":"The Magic Garden Explained The Internals of Unix System V Release 4 An Open Systems Design","year":"1994","author":"goodheart","key":"ref11"},{"journal-title":"Transaction Processing Concepts and Techniques","year":"1993","author":"gray","key":"ref12"},{"key":"ref13","article-title":"Generating update constraints from pr15.0 specifications","author":"griffin","year":"0","journal-title":"Preliminary Report Presented at AT&T Database Day"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566869"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512539"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1985.tb00280.x"},{"key":"ref17","article-title":"Alloy: A lightweight object modelling notation","author":"jackson","year":"2000","journal-title":"Technical Report 797"},{"key":"ref18","article-title":"Two application languages in software production","author":"ladd","year":"1994","journal-title":"USENIX 1994 Very High Level Languages Symp Proc"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"1135","DOI":"10.1109\/TSE.1987.232855","article-title":"on the reliability of the ibm mvs\/xa operating system","volume":"se 13","author":"mourad","year":"1987","journal-title":"IEEE Transactions on Software Engineering"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/185827.185828"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/HOTOS.2001.990072"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512560"},{"key":"ref5","first-page":"566","article-title":"Deriving production rules for constraint maintenance","author":"ceri","year":"0","journal-title":"Proc 1990 VLDB Conference"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512538"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"ref2","article-title":"FIG: A prototype tool for online verification of recovery mechanisms","author":"broadwell","year":"2002","journal-title":"Workshop on Self-Healing Adaptive and Self-Managed Systems"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/949313.949314"},{"journal-title":"Center TRACON Automation System","year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2003.1201223"},{"journal-title":"Second extended file system","year":"2002","author":"poirier","key":"ref22"},{"key":"ref21","article-title":"Recovery-oriented computing (ROC): Motivation, definition, techniques, and case studies","author":"patterson","year":"2002","journal-title":"Technical Report UCB\/\/CSD-02–1175 UC Berkeley Computer Science"},{"key":"ref24","article-title":"Center\/tracon automation system: Development and evaluation in the field","author":"sanford","year":"1993","journal-title":"38th Annual Air Traffic Control Association Conference Proceedings"},{"journal-title":"Rational Inc The unified modeling language","year":"0","key":"ref23"},{"journal-title":"Software Fault Injection","year":"1998","author":"voas","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/69.63251"}],"event":{"name":"14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003.","location":"Denver, Colorado, USA"},"container-title":["14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8855\/27999\/01251032.pdf?arnumber=1251032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T14:47:33Z","timestamp":1497624453000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1251032\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/issre.2003.1251032","relation":{},"subject":[]}}