{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:29:11Z","timestamp":1725564551102},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540211792"},{"type":"electronic","value":"9783540246268"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24626-8_14","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T07:32:45Z","timestamp":1283671965000},"page":"204-218","source":"Crossref","is-referenced-by-count":1,"title":["Towards Fully Automatic Execution Monitoring"],"prefix":"10.1007","author":[{"given":"Clinton","family":"Jeffery","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mikhail","family":"Auguston","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott","family":"Underwood","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"Communications of the ACM, vol.\u00a04 (1997)"},{"key":"14_CR2","volume-title":"The Mythical Man-Month","author":"F. Brooks","year":"1975","unstructured":"Brooks, F.: The Mythical Man-Month. Addison-Wesley, Reading (1975)"},{"key":"14_CR3","unstructured":"Auguston, M.: Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. In: Proceedings of the 2nd Int\u2019l Workshop on Automated and Algorithmic Debugging, Saint-Malo, France, May 1995, pp. 277\u2013291 (1995)"},{"key":"14_CR4","unstructured":"Auguston, M., Gates, A., Lujan, M.: Defining a Program Behavior Model for Dynamic Analyzers. In: Proceedings of the 9th International Conference on Software Engineering and Knowledge Engineering, SEKE 1997, Madrid, Spain, June 1997, pp. 257\u2013262 (1997)"},{"key":"14_CR5","unstructured":"Auguston, M.: Lightweight semantics models for program testing and debugging automation. In: Proceedings of the 7th Monterey Workshop, June 2000, pp. 23\u201331 (2000)"},{"key":"14_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2160-9","volume-title":"Program Monitoring and Visualization: an Exploratory Approach","author":"C.L. Jeffery","year":"1999","unstructured":"Jeffery, C.L.: Program Monitoring and Visualization: an Exploratory Approach. Springer, New York (1999)"},{"key":"14_CR7","unstructured":"Jeffery, C., Mohamed, S., Pereda, R., Parlett, R.: Programming with Unicon, http:\/\/unicon.sourceforge.net"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Griswold, R.E., Griswold, M.T.: The Icon Programming Language, 3rd edn. Peer to Peer Communications, San Jose (1997)","DOI":"10.1145\/234286.1057830"},{"key":"14_CR9","unstructured":"Havelund, K., Johnson, S., Rosu, G.: Specification and Error Pattern Based Program Monitoring. In: ESA Workshop on On-Board Autonomy, Noordwijk, Holland (October 2001)"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0164-1212(83)90011-0","volume":"3","author":"P.C. Bates","year":"1983","unstructured":"Bates, P.C., Wileden, J.C.: High-Level Debugging of Distributed Systems: The Behavioral Abstraction Approach. Journal of Systems and Software\u00a03, 255\u2013264 (1983)","journal-title":"Journal of Systems and Software"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1002\/spe.4380210207","volume":"21","author":"R. Olsson","year":"1991","unstructured":"Olsson, R., Crawford, R., Wilson, W.: A Dataflow Approach to Event-based Debugging. Software \u2013 Practice and Experience\u00a021(2), 19\u201331 (1991)","journal-title":"Software \u2013 Practice and Experience"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Ducasse, M.: COCA: An automated debugger for C. In: Proceedings of the 1999 International Conference on Software Engineering, Los Angeles, pp. 504\u2013513 (1999)","DOI":"10.1145\/302405.302682"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/32.341844","volume":"21","author":"D. Rosenblum","year":"1995","unstructured":"Rosenblum, D.: A Practical Approach to Programming with Assertions. IEEE Transactions on Software Engineering\u00a021(1), 19\u201331 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1","key":"14_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1109\/52.62935","volume":"8","author":"D.C. Luckham","year":"1991","unstructured":"Luckham, D.C., Sankar, S., Takahashi, S.: Two-Dimensional Pinpointing: Debugging with Formal Specifications. IEEE Software\u00a08(1), 74\u201384 (1991)","journal-title":"IEEE Software"},{"key":"14_CR15","unstructured":"Luckham, D.C., Bryan, D., Mann, W., Meldal, S., Helmbold, D.P.: An Introduction to Task Sequencing Language, TSL version 1.5, Stanford University , February 1990, pp. 1\u201368 (1990)"},{"issue":"3","key":"14_CR16","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/52.88944","volume":"8","author":"D. Rosenblum","year":"1991","unstructured":"Rosenblum, D.: Specifying Concurrent Systems with TSL. IEEE Software\u00a08(3), 52\u201361 (1991)","journal-title":"IEEE Software"},{"issue":"9","key":"14_CR17","doi-asserted-by":"publisher","first-page":"717","DOI":"10.1109\/32.464548","volume":"21","author":"D. Luckham","year":"1995","unstructured":"Luckham, D., Vera, J.: An Event-Based Architecture Definition Language. IEEE Transactions on Software Engineering\u00a021(9), 717\u2013734 (1995)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/10722468_19","volume-title":"SPIN Model Checking and Software Verification","author":"D. Drusinsky","year":"2000","unstructured":"Drusinsky, D.: The Temporal Rover and the ATG Rover. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, Springer, Heidelberg (2000)"},{"key":"14_CR19","unstructured":"Golan, M., Hanson, D.: DUEL - A Very High-Level Debugging Language. In: Proceedings of the Winter USENIX Technical Conference, San Diego (January 1993)"},{"key":"14_CR20","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1982","unstructured":"Shapiro, E.: Algorithmic Program Debugging, May 1982. MIT Press, Cambridge (1982)"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Fritzson, P., Shahmehri, N., Kamkar, M., Gyimothy, T.: Generalized Algorithmic Debugging and Testing. ACM LOPLAS\u00a01(4) (December 1992)","DOI":"10.1145\/161494.161498"},{"key":"14_CR22","unstructured":"Shahmehri, N.: Generalized Algorithmic Debugging, Ph.D. Thesis No. 260, Dept. of Computer and Information Science, Link\u00f6ping University, S-581 83 Link\u00f6ping (1991)"},{"issue":"11","key":"14_CR23","doi-asserted-by":"publisher","first-page":"969","DOI":"10.1109\/32.177366","volume":"18","author":"Y. Liao","year":"1992","unstructured":"Liao, Y., Cohen, D.: A Specificational Approach to High Level Program Monitoring and Measuring. IEEE Transactions on Software Engineering\u00a018(11), 969\u2013978 (1992)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"7","key":"14_CR24","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/143103.143110","volume":"27","author":"R. Sosic","year":"1992","unstructured":"Sosic, R.: Dynascope: a Tool for Program Directing. Sigplan Notices\u00a027(7), 12\u201321 (1992)","journal-title":"Sigplan Notices"},{"key":"14_CR25","doi-asserted-by":"crossref","unstructured":"LeDoux Carol, C.H., Parker, D.: Saving Traces for Ada Debugging. Ada in Use. In: Proc. of the Ada International Conference, ACM Ada Letters, vol.\u00a05(2), pp. 97\u2013108 (1985)","DOI":"10.1145\/324422.324385"},{"key":"14_CR26","unstructured":"http:\/\/www.microsoft.com\/net\/"}],"container-title":["Lecture Notes in Computer Science","Radical Innovations of Software and Systems Engineering in the Future"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24626-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,11]],"date-time":"2020-06-11T04:07:10Z","timestamp":1591848430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24626-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540211792","9783540246268"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24626-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}