{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:40:51Z","timestamp":1704843651602},"reference-count":28,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[1994,6,1]],"date-time":"1994-06-01T00:00:00Z","timestamp":770428800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Systems and Software"],"published-print":{"date-parts":[[1994,6]]},"DOI":"10.1016\/0164-1212(94)90032-9","type":"journal-article","created":{"date-parts":[[2003,8,7]],"date-time":"2003-08-07T23:44:36Z","timestamp":1060299876000},"page":"223-239","source":"Crossref","is-referenced-by-count":13,"title":["Using assertions in declarative and operational models for automated debugging"],"prefix":"10.1016","volume":"25","author":[{"given":"Peter","family":"Fritzson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Auguston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nahid","family":"Shahmehri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0164-1212(94)90032-9_BIB1","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1145\/122193.122198","article-title":"Programming language RIGAL as a compiler writing tool","volume":"25","author":"Auguston","year":"1990","journal-title":"ACM SIGPLAN Not."},{"key":"10.1016\/0164-1212(94)90032-9_BIB2","series-title":"Proceedings of the 5th Israel Conference on Computer Systems and Software Engineering, IEEE","first-page":"149","article-title":"FORMAN\u2014Program formal annotation language","author":"Auguston","year":"1991"},{"key":"10.1016\/0164-1212(94)90032-9_BIB3","article-title":"PARFORMAN\u2014An Assertion Language for Specifying Behaviour when Debugging Parallel Applications","author":"Auguston","year":"1992"},{"key":"10.1016\/0164-1212(94)90032-9_BIB4","first-page":"89","article-title":"The Specification of Process Synchronization by Path Expressions","volume":"Vol. 16","author":"Campbell","year":"1974"},{"key":"10.1016\/0164-1212(94)90032-9_BIB5","series-title":"Proceedings of the FGCS Conference","first-page":"573","article-title":"The use of assertions in algorithmic debugging","author":"Drabent","year":"1988"},{"key":"10.1016\/0164-1212(94)90032-9_BIB6","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/0164-1212(83)90014-6","article-title":"Symbolic Debugging through Incremental Compilation in an Integrated Environment","volume":"3","author":"Fritzson","year":"1983","journal-title":"J. Syst. Software"},{"key":"10.1016\/0164-1212(94)90032-9_BIB7","series-title":"Proceedings of the ACM SIGPLAN'91","first-page":"317","article-title":"Generalized algorithmic debugging and testing","author":"Fritzson","year":"1991"},{"key":"10.1016\/0164-1212(94)90032-9_BIB8","article-title":"Generalized algorithmic debugging and testing","volume":"Vol. 1","author":"Fritzson","year":"1993"},{"key":"10.1016\/0164-1212(94)90032-9_BIB9","series-title":"Proceedings of PLILP'92 Symposium on Programming Language Implementation and Logic Programming","article-title":"Interprocedural dynamic slicing","volume":"Vol. 631","author":"Kamkar","year":"1992"},{"key":"10.1016\/0164-1212(94)90032-9_BIB10","article-title":"Interprocedural Dynamic Slicing with Applications to Debugging and Testing","author":"Kamkar","year":"1993"},{"key":"10.1016\/0164-1212(94)90032-9_BIB11","doi-asserted-by":"crossref","first-page":"1253","DOI":"10.1109\/32.6169","article-title":"PELAS\u2014Program Error-Locating Assistant System","volume":"14","author":"Korel","year":"1988","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0164-1212(94)90032-9_BIB12","doi-asserted-by":"crossref","DOI":"10.21236\/ADA210837","article-title":"Dependency-Directed Localization of Software Bugs","author":"Kuper","year":"1989"},{"key":"10.1016\/0164-1212(94)90032-9_BIB13","series-title":"Proceedings of the Workshop on Parallel and Distributed Debugging\u2014SIGPLAN No. 24, ACM","first-page":"248","article-title":"Concurrent algorithm debugging","author":"Lichtenstein","year":"1989"},{"key":"10.1016\/0164-1212(94)90032-9_BIB14","article-title":"ANNA: A Language for Annotating ADA Programs","author":"Luckham","year":"1984"},{"key":"10.1016\/0164-1212(94)90032-9_BIB15","series-title":"An Introduction to Task Sequencing Language, TSL version 1.5","author":"Luckham","year":"1990"},{"key":"10.1016\/0164-1212(94)90032-9_BIB16","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/S0020-7373(80)80017-4","article-title":"Understanding and Debugging Programs","volume":"12","author":"Lukey","year":"1980","journal-title":"Int. J. Man-Machine Stud."},{"key":"10.1016\/0164-1212(94)90032-9_BIB17","series-title":"Proceedings of PLDI'88\u2014The ACM SIGPLAN Conference on Programming Language Design and Implementation","article-title":"A mechanism for efficient debugging of parallel programs","author":"Miller","year":"1988"},{"key":"10.1016\/0164-1212(94)90032-9_BIB18","series-title":"Proceedings of the PLILP'92 Symposium on Programming Language Implementation and Logic Programming","article-title":"Algorithmic debugging for lazy functional languages","volume":"Vol. 631","author":"Nilsson","year":"1992"},{"key":"10.1016\/0164-1212(94)90032-9_BIB19","series-title":"Proceedings of the Workshop on Software Testing","first-page":"2","article-title":"Specification and static evaluation of sequencing constraints in software","author":"Olender","year":"1986"},{"key":"10.1016\/0164-1212(94)90032-9_BIB20","series-title":"Proceedings of ACM SIGSOFT'89 Third Symposium on Software Testing, Analysis and Verification (TAV3)","first-page":"66","article-title":"CESAR: A static sequencing constraint analyser","author":"Olender","year":"1989"},{"key":"10.1016\/0164-1212(94)90032-9_BIB21","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","article-title":"The Category-Partition Method for Specifying and Generating Functional Tests","volume":"31","author":"Ostrand","year":"1988","journal-title":"Commun. ACM"},{"key":"10.1016\/0164-1212(94)90032-9_BIB22","series-title":"Third Logic Programming Conference","first-page":"203","article-title":"Rational debugging in logic programming","author":"Pereira","year":"1986"},{"key":"10.1016\/0164-1212(94)90032-9_BIB23","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1145\/356725.356729","article-title":"Reliability Issues in Computing System Design","volume":"10","author":"Randell","year":"1978","journal-title":"Comp. Surv."},{"key":"10.1016\/0164-1212(94)90032-9_BIB24","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/MS.1987.230396","article-title":"Knowledge-Based Program Debugging Systems","volume":"4","author":"Seviora","year":"1987","journal-title":"IEEE Software"},{"key":"10.1016\/0164-1212(94)90032-9_BIB25","series-title":"Proceedings of the IEEE Conference on Software Maintenance, CSM'90","article-title":"Semi-automatic bug localization in software maintenance","author":"Shahmehri","year":"1990"},{"key":"10.1016\/0164-1212(94)90032-9_BIB26","article-title":"Generalized Algorithmic Debugging","author":"Shahmehri","year":"1991"},{"key":"10.1016\/0164-1212(94)90032-9_BIB27","series-title":"Algorithmic Program Debugging","author":"Shapiro","year":"1982"},{"issue":"4","key":"10.1016\/0164-1212(94)90032-9_BIB28","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","article-title":"Program Slicing","volume":"SE-10","author":"Weiser","year":"1984","journal-title":"IEEE Trans. Software Eng."}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900329?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0164121294900329?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T22:58:48Z","timestamp":1552604328000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0164121294900329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,6]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1994,6]]}},"alternative-id":["0164121294900329"],"URL":"https:\/\/doi.org\/10.1016\/0164-1212(94)90032-9","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[1994,6]]}}}