{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:18:14Z","timestamp":1725574694412},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210023"},{"type":"electronic","value":"9783540399100"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39910-0_18","type":"book-chapter","created":{"date-parts":[[2014,3,18]],"date-time":"2014-03-18T02:40:04Z","timestamp":1395110404000},"page":"373-394","source":"Crossref","is-referenced-by-count":8,"title":["Aspect Validation Using Model Checking"],"prefix":"10.1007","author":[{"given":"Shmuel","family":"Katz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcelo","family":"Sihman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","unstructured":"http:\/\/www.aosd.net\n                    \n                  ."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting Object Interactions Using Composition Filters. In ECOOP\u201993 Workshop on Object-Based Distributed Programming, LNCS 791, pages 152-184, 1994.","DOI":"10.1007\/BFb0017540"},{"key":"18_CR3","unstructured":"E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 1999."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"J. Hatcliff and M. Dwyer. Using the Bandera tool set to model-check properties of concurrent Java software. In CONCUR 2001, LNCS 2154, pages 39-58, Aug 2001.","DOI":"10.1007\/3-540-44685-0_5"},{"key":"18_CR5","unstructured":"J. Hatcliff and O. Tkachuk. The Bandera tools for model-checking Java source code: A user\u2019s manual. Technical report, Kansas State University, Department of Computing and Information Sciences, March 2001. \n                    http:\/\/www.cis.ksu.edu\n                    \n                  \/%7Esantos\/bandera\/tut\/tut-html.tar.gz."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer (STTT), 2(4), Apr 2000.","DOI":"10.1007\/s100090050043"},{"issue":"5","key":"18_CR7","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"G. J. Holzmann and M. H. Smith. The model checker SPIN. IEEE trans. SE, 23(5):279\u2013295, 1997.","journal-title":"IEEE trans. SE"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"R. Iosif and R. Sisto. dSpin: A dynamic extension of Spin. In Proc. of the 6th SPIN Workshop, LNCS 1680, pages 261-276, Sep 1999.","DOI":"10.1007\/3-540-48234-2_20"},{"issue":"2","key":"18_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S Katz","year":"1993","unstructured":"S. Katz. A superimposition control construct for distributed systems. ACM Trans. on Programming Languages and Systems, 15(2):337\u2013356, Apr 1993.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In Proceedings ECOOP 2001, LNCS 2072, pages 327-353, Jun 2001. \n                    http:\/\/aspectj.org\n                    \n                  .","DOI":"10.1007\/3-540-45337-7_18"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings ECOOP\u201997, LNCS 1241, pages 220-242, Jun 1997.","DOI":"10.1007\/BFb0053381"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"K. L. McMillan. Symbolic Model Checking: An Approach to the State Explosion Problem. Kluwer Academic, 1993.","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/s100090050027","volume":"2","author":"A Pnueli","year":"1999","unstructured":"A. Pnueli, O. Shtrichman, and M. Siegel. The code validation tool(CVT)) \u2014 automatic verification of a compilation process. Software Tools for Technology Transfer, 2:192\u2013201, 1999.","journal-title":"Software Tools for Technology Transfer"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Z. Shtadler and O. Grumberg. Network grammars, communication behaviors and automatic verification. In Proc. of the international workshop on Automatic verification methods for finite state systems, pages 151-165. Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52148-8_13"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"M. Sihman and S. Katz. Superimposition and aspect-oriented programming. BCS Computer Journal, vol. 46, no.5, 2003. Available at http:\/\/www.cs.technion.ac.il\/~katz\/cj.ps.","DOI":"10.1093\/comjnl\/46.5.529"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"P. Tarr, H. Ossher, W. Harrison, and S. M. S. Jr. N degrees of separation: Multidimensional separation of concerns. In ACM ICSE\u201999, pages 107-119, May 1999.","DOI":"10.1145\/302405.302457"}],"container-title":["Lecture Notes in Computer Science","Verification: Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39910-0_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T07:50:58Z","timestamp":1558857058000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39910-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540210023","9783540399100"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39910-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}