{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:46:51Z","timestamp":1725544011951},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540346630"},{"type":"electronic","value":"9783540346647"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767077_8","type":"book-chapter","created":{"date-parts":[[2006,5,29]],"date-time":"2006-05-29T05:29:34Z","timestamp":1148880574000},"page":"94-105","source":"Crossref","is-referenced-by-count":3,"title":["Runtime Verification of Java Programs for Scenario-Based Specifications"],"prefix":"10.1007","author":[{"given":"Li","family":"Xuandong","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wang","family":"Linzhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Qiu","family":"Xiaokang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Bin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Jiesong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhao","family":"Jianhua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zheng","family":"Guoliang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"ITU-T. Recommendation Z.120. ITU - Telecommunication Standardization Sector, Geneva, Switzerland (May 1996)"},{"key":"8_CR2","volume-title":"The Unified Modeling Language Reference Manual","author":"J. Rumbaugh","year":"1999","unstructured":"Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)"},{"key":"8_CR3","unstructured":"OMG. UML2.0 Superstructure Specification (October 2005), availabe at http:\/\/www.uml.org"},{"key":"8_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3540-6","volume-title":"Software Reliability Methods","author":"D.A. Peled","year":"2001","unstructured":"Peled, D.A.: Software Reliability Methods. Springer, Heidelberg (2001)"},{"key":"8_CR5","unstructured":"Bjork, R.C.: The Simulation of an Automated Teller Machine, http:\/\/www.math-cs.gordon.edu\/local\/courses\/cs211\/ATMExample\/Links.html"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Bartetzko, D., Fischer, C., Moller, M., Wehrheim, H.: Jass - Java with Assertions. Electronic Notes in Theoretical Computer Science\u00a055(2) (2001)","DOI":"10.1016\/S1571-0661(04)00247-6"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Havelund, K., Rou, G.: Monitoring Java Programs with Java PathExplorer. Electronic Notes in Theoretical Computer Science\u00a055(2) (2001)","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Kim, M., Kannan, S., Lee, I., Sokolsky, O., Viswanathan, M.: Java-MaC: A Run-time Assurance Tool for Java Programs. Electronic Notes in Theoretical Computer Science\u00a055(2) (2001)","DOI":"10.1016\/S1571-0661(04)00254-3"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Brorkens, M., Moller, M.: Dynamic Event Generation for Runtime Checking using the JDI. Electronic Notes in Theoretical Computer Science\u00a070(4) (2002)","DOI":"10.1016\/S1571-0661(04)80575-9"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Park, D.Y.W., Stern, U., Skakebak, J.U., Dill, D.L.: Java Model Checking. In: Proceedings of the First International Workshop on Automated Program Analysis, Testing, and Verification (2000)","DOI":"10.1109\/ASE.2000.873671"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/s100090050043","volume":"2","author":"K. Havelund","year":"2000","unstructured":"Havelund, K., Pressburger, T.: Model checking JAVA programs using JAVA PathFinder. International Journal on Software Tools for Technology Transfer\u00a02, 366\u2013381 (2000)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-45441-1_24","volume-title":"\u00abUML\u00bb 2001 \u2013 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M. Lettrai","year":"2001","unstructured":"Lettrai, M., Klose, J.: Scenario-based monitoring and testing of real-time UML models. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol.\u00a02185, p. 317. Springer, Heidelberg (2001)"},{"issue":"1","key":"8_CR13","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Formal Methods in System Design\u00a019(1), 45\u201380 (2001)","journal-title":"Formal Methods in System Design"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/978-3-540-40022-6_10","volume-title":"Petri Net Technology for Communication-Based Systems","author":"O. Kluge","year":"2003","unstructured":"Kluge, O.: Modelling a Railway Crossing with Message Sequence Chatrs and Petri Nets. In: Ehrig, H., et al. (eds.) Petri Net Technology for Communication-Based Systems. LNCS, vol.\u00a02472, pp. 197\u2013218. Springer, Heidelberg (2003)"},{"key":"8_CR15","unstructured":"Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Comparing Different Approaches for Specifying and Verifying Real-Time Systems. In: Proc. 10th IEEE Workshop on Real-Time Operating Syatems abd Software, New York, pp. 122\u2013129 (1993)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767077_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:11:22Z","timestamp":1619493082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767077_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346630","9783540346647"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/11767077_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}