{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:21Z","timestamp":1761611121575},"reference-count":45,"publisher":"Elsevier BV","issue":"2","license":[{"start":{"date-parts":[[2001,10,1]],"date-time":"2001-10-01T00:00:00Z","timestamp":1001894400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2014,11,20]],"date-time":"2014-11-20T00:00:00Z","timestamp":1416441600000},"content-version":"vor","delay-in-days":4798,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/3.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electronic Notes in Theoretical Computer Science"],"published-print":{"date-parts":[[2001,10]]},"DOI":"10.1016\/s1571-0661(04)00251-8","type":"journal-article","created":{"date-parts":[[2004,1,29]],"date-time":"2004-01-29T10:14:39Z","timestamp":1075371279000},"page":"164-180","source":"Crossref","is-referenced-by-count":7,"title":["DynaMICs"],"prefix":"10.1016","volume":"55","author":[{"given":"Ann Q.","family":"Gates","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Roach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oscar","family":"Mondragon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nelly","family":"Delgado","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB1","doi-asserted-by":"crossref","unstructured":"Bertolino A., and M. Marr\u00e9, Deriving Path Expressions Recursively, Proceedings IEEE Second Workshop on Program Comprehension, 177\u2013185, 1993.","DOI":"10.1109\/WPC.1993.263893"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB2","doi-asserted-by":"crossref","unstructured":"Bonnier S., and T. Heyer, COMPASS: A Comprehensible Assertion Method, TAPSOFT '07: Theory and Practice of Software Development, Lecture Notes in Computer Science, 803\u2013817, 1997.","DOI":"10.1007\/BFb0030642"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB3","doi-asserted-by":"crossref","unstructured":"Bruegge B., T. Gottschal, and B. Luo, A Framework for Dynamic Program Analyzers, Proceedings of the Eighth Annual Conference on Object-oriented Programming Systems, Languages, and Applications, 65\u201382, 1993.","DOI":"10.1145\/165854.165870"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB4","article-title":"Analysis and Verification of Real-time Systems Using Quantitative Symbolic Algorithms","volume":"2","author":"Campos","year":"1999","journal-title":"Journal of Software Tools for Technology Transfer"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB5","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1002\/spe.4380250403","article-title":"Implementation of the Sentry System","volume":"25","author":"Chodrow","year":"1995","journal-title":"Software Practice and Experience"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB6","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal Methods: State of the Art and Future Directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB7","unstructured":"DoD-Std-2167A. \u201cMilitary Standard: Defense System Software Development,\u201d Department of Defense, Washington, DC., 1988."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB8","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","article-title":"Goal-directed Requirements Acquisition","volume":"20","author":"Dardenne","year":"1993","journal-title":"Science of Computer Programming"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB9","unstructured":"Fernandez F., \u201cCompiler-driven Approach to Monitoring Integrity Constraints,\u201d Master's Thesis, The University of Texas at El Paso, El Paso, Texas, 1998."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB10","series-title":"\u201cLogic Program Synthesis from Incomplete Information,\u201d","author":"Flener","year":"1995"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB11","series-title":"\u201cHandbook of Walkthroughs, Inspections, and Technical Reviews, Evaluating Programs, Projects, and Products,\u201d","author":"Freedman","year":"1990"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB12","unstructured":"Gates A., On Defining a Class of Integrity Constraints, Proceedings of the Eighth International Conference on Software Engineering and Knowledge Engineering, 338\u2013344, 1996."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB13","unstructured":"Gates A., and S. Li, Software Faults and their Detection through DynaMICs, Proceedings of the IASTED Conference Software Engineering, 323\u2013327, 1998."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB14","unstructured":"Gates, A. Q., O. Mondragon, S. Roach, and A. Provetti, \u201cObject-level Constraint Instrumentation: From Control Flowgraphs to Path Expressions,\u201d Technical Report, 2001."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB15","doi-asserted-by":"crossref","unstructured":"Gates, A. Q., and O. Mondragon, A Constraint-Based Tracing Approach, to appear Journal of Systems and Software, 2002.","DOI":"10.1016\/S0164-1212(02)00017-1"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB16","unstructured":"Gates, A. Q., and S. Roach, A Framework for Knowledge Management and Automated Constraint Monitoring, Proceedings of the Monterey Workshop 2001: Engineering Automation for Software Intensive System Integration, 154\u2013168, 2001."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB17","doi-asserted-by":"crossref","unstructured":"Gates, A. Q., and P. J. Teller, DynaMICs: An Automated and Independent Software-Fault Detection Approach, Proceedings of the Fourth International High-Assurance Systems Engineering Symposium, 11\u201319, 1999.","DOI":"10.1109\/HASE.1999.809470"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB18","first-page":"63","article-title":"An Integrated Design of a Dynamic Software-Fault Monitoring System","volume":"14","author":"Gates","year":"2000","journal-title":"Journal of Integrated Design & Process Science"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB19","unstructured":"Gates, A. Q., and P. J. Teller, \u201cDynamic Software Monitoring with Integrity Constraints: A Unified Approach for the Development and Evolution of Software,\u201d Technical Report, 2001."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB20","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1109\/32.44382","article-title":"A Hybrid Monitor for Behavior and Performance Analysis of Distributed Systems","volume":"16","author":"Haban","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB21","doi-asserted-by":"crossref","unstructured":"Havelund K., Using Runtime Analysis to Guide Model Checking of Java Programs, The Seventh International SPIN Workshop, Stanford, California, 2000.","DOI":"10.1007\/10722468_15"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB22","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1109\/32.588521","article-title":"The Spin Model Checker","volume":"23","author":"Holtzmann","year":"1997","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB23","doi-asserted-by":"crossref","first-page":"1076","DOI":"10.1109\/TSE.1986.6312997","article-title":"SODOS: A Software Documentation Support Environment - Its Use","volume":"12","author":"Horowitz","year":"1986","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB24","doi-asserted-by":"crossref","unstructured":"Jeffery C., W. Zhou, K. Templer and M. Brazell, A Lightweight Architecture for Program Execution Monitoring, ACM SIGPLAN\/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, 67\u201374, 1998.","DOI":"10.1145\/277631.277644"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB25","doi-asserted-by":"crossref","unstructured":"Kidd M., Ensuring Critical Event Sequences in High Consequence Computer Based Systems as Inspired by Path Expressions, Proceedings of the International Conference and Workshop on Engineering of Computer Based Systems, 483\u2013490, 1997.","DOI":"10.1109\/ECBS.1997.581943"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB26","unstructured":"Kim M., M. Viswanathan et al., \u201cMaC: A Framework for Run-time Correctness Assurance of Real-Time Systems,\u201d Technical Report, 1998."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB27","unstructured":"Kim M., M. Viswanathan et al., Formally Specified Monitoring of Temporal Properties, Proceedings of the European Conference on Real-Time Systems, 1999."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB28","unstructured":"Lee I., H. Ben-Abdallah et al., A Monitoring and Checking Framework for Run-time Correctness Assurance, Proceedings of the 1998 Korea-U.S. Technical Conference on Strategic Technologies, 1998."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB29","series-title":"\u201cSafeware: System Safety and Computers,\u201d","author":"Leveson","year":"1995"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB30","first-page":"9","article-title":"An Overview of Anna: Specification Language for Ada","volume":"20","author":"Luckham","year":"1988","journal-title":"IEEE Software"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB31","unstructured":"Lutz, R. R., and H. Shaw, \u201cDS-1 Pilot Implementation of Assertions: Summary of Lessons Learned,\u201d Technical Report, Jet Propulsion Laboratory, Pasadena, CA, 1997."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB32","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1145\/357084.357090","article-title":"A Deductive Approach to Program Synthesis","volume":"2","author":"Manna","year":"1980","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB33","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/52.506462","article-title":"An Object-Oriented Tool for Tracing Requirements","volume":"13","author":"Pinheiro","year":"1996","journal-title":"IEEE Software"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB34","unstructured":"Roach S., and A. Q. Gates, Towards Synthesis of Runtime Constraint Monitoring Code, Proceedings of the 2nd International Workshop on Automated Program Analysis, Testing, and Verification, 2001."},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB35","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1109\/32.341844","article-title":"A Practical Approach to Programming with Assertions","volume":"21","author":"Rosenblum","year":"1995","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB36","series-title":"\u201cModelling and Verification of Parallel Processes\u201d","article-title":"Theorem Proving for Verification","author":"Rushby","year":"2000"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB37","series-title":"High Assurance Systems Engineering Symposium 2000","author":"Rushby","year":"2000"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB38","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1109\/2.204684","article-title":"Concurrent Runtime Monitoring of Formally Specified Programs","volume":"26","author":"Sankar","year":"1993","journal-title":"IEEE Computer"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB39","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1109\/2.386988","article-title":"On-line Monitoring: a Tutorial","volume":"28","author":"Schroeder","year":"1995","journal-title":"IEEE Computer"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB40","doi-asserted-by":"crossref","unstructured":"Sosic R., Dynascope: A Tool for Program Directing, Proceedings of the 5th ACM SIGPLAN Conference on Programming Language Design and Implementation, 12\u201321, 1992.","DOI":"10.1145\/143103.143110"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB41","doi-asserted-by":"crossref","first-page":"584","DOI":"10.1145\/322261.322273","article-title":"Fast Algorithms for Solving Path Problems","volume":"28","author":"Tarjan","year":"1981","journal-title":"Journal of the ACM"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB42","doi-asserted-by":"crossref","unstructured":"Teller P., M. Maxwell, and A. Gates, Towards the Design of a Snoopy Coprocessor for Dynamic Software-Fault Detection, Proceedings of the 18th IEEE International Performance, Computing, and Communications Conference, 310\u2013317, 1999.","DOI":"10.1109\/PCCC.1999.749454"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB43","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1109\/32.57626","article-title":"A Noninterference Monitoring and Replay Mechanism for Real-Time Software Testing and Debugging","volume":"16","author":"Tsai","year":"1990","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB44","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1002\/stvr.4370020304","article-title":"Structured Inspection of Code","volume":"2","author":"van Emden","year":"1992","journal-title":"Software Testing, Verification and Reliability"},{"key":"10.1016\/S1571-0661(04)00251-8_NEWBIB45","article-title":"Java PathFinder - Second Generation of a Java Model Checker","author":"Visser","year":"2000","journal-title":"Post-CAV Workshop on Advances in Verification"}],"container-title":["Electronic Notes in Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002518?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1571066104002518?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T12:26:57Z","timestamp":1585484817000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1571066104002518"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,10]]},"references-count":45,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2001,10]]}},"alternative-id":["S1571066104002518"],"URL":"https:\/\/doi.org\/10.1016\/s1571-0661(04)00251-8","relation":{},"ISSN":["1571-0661"],"issn-type":[{"value":"1571-0661","type":"print"}],"subject":[],"published":{"date-parts":[[2001,10]]}}}