{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:50:35Z","timestamp":1740099035760,"version":"3.37.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319747293"},{"type":"electronic","value":"9783319747309"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-74730-9_4","type":"book-chapter","created":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T05:34:11Z","timestamp":1516599251000},"page":"30-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Java Bytecode Metamodel for Composable Program Analyses"],"prefix":"10.1007","author":[{"given":"Bugra M.","family":"Yildiz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Bockisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arend","family":"Rensink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Aksit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,23]]},"reference":[{"key":"4_CR1","unstructured":"Eclipse Modeling Framework (2016). \nhttps:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"4_CR2","unstructured":"Java Class File Format, May 2016. \nhttps:\/\/docs.oracle.com\/javase\/specs\/jvms\/se7\/html\/jvms-4.html"},{"key":"4_CR3","unstructured":"BCEL, June 2016. \nhttps:\/\/commons.apache.org\/proper\/commons-bcel\/"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/BFb0020949","volume-title":"Hybrid Systems III","author":"J Bengtsson","year":"1996","unstructured":"Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P., Yi, W.: UPPAAL \u2014 a tool suite for automatic verification of real-time systems. In: Alur, R., Henzinger, T.A., Sontag, E.D. (eds.) HS 1995. LNCS, vol. 1066, pp. 232\u2013243. Springer, Heidelberg (1996). \nhttps:\/\/doi.org\/10.1007\/BFb0020949"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Binder, W., Hulaas, J., Moret, P.: Reengineering standard Java runtime systems through dynamic bytecode instrumentation. In: Seventh IEEE International Working Conference on Source Code Analysis and Manipulation, pp. 91\u2013100, September 2007","DOI":"10.1109\/SCAM.2007.20"},{"issue":"1","key":"4_CR6","doi-asserted-by":"crossref","first-page":"7:1","DOI":"10.5381\/jot.2012.11.1.a7","volume":"11","author":"C Bockisch","year":"2012","unstructured":"Bockisch, C., Sewe, A., Yin, H., Mezini, M., Aksit, M.: An in-depth look at ALIA4J. J. Object Technol. 11(1), 7:1\u20137:28 (2012)","journal-title":"J. Object Technol."},{"issue":"8","key":"4_CR7","first-page":"1012","volume":"56","author":"H Bruneliere","year":"2014","unstructured":"Bruneliere, H., Cabot, J., Dup\u00e9, G., Madiot, F.: MoDisco: a model driven reverse engineering framework. IST 56(8), 1012\u20131032 (2014)","journal-title":"IST"},{"key":"4_CR8","unstructured":"Bruneton, E., Lenglet, R., Coupaye, T.: ASM: a code manipulation tool to implement adaptable systems (2002). \nhttp:\/\/asm.ow2.org\/current\/asm-eng.pdf"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Chander, A., Mitchell, J.C., Shin, I.: Mobile code security by Java bytecode instrumentation. In: Proceedings of DARPA Information Survivability Conference and Exposition II, DISCEX 2001, vol. 2, pp. 27\u201340 (2001)","DOI":"10.1109\/DISCEX.2001.932157"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-45102-1_16","volume-title":"ECOOP 2000 \u2014 Object-Oriented Programming","author":"S Chiba","year":"2000","unstructured":"Chiba, S.: Load-time structural reflection in Java. In: Bertino, E. (ed.) ECOOP 2000. LNCS, vol. 1850, pp. 313\u2013336. Springer, Heidelberg (2000). \nhttps:\/\/doi.org\/10.1007\/3-540-45102-1_16"},{"issue":"12","key":"4_CR11","first-page":"859","volume":"30","author":"N Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. IEEE TSE 30(12), 859\u2013872 (2004)","journal-title":"IEEE TSE"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1007\/978-3-642-13595-8_10","volume-title":"Modelling Foundations and Applications","author":"M Eichberg","year":"2010","unstructured":"Eichberg, M., Monperrus, M., Kloppenburg, S., Mezini, M.: Model-driven engineering of machine executable code. In: K\u00fchne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 104\u2013115. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-13595-8_10"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Eysholdt, M., Behrens, H.: Xtext: implement your language faster than the quick and dirty way. In: Proceedings of OOPSLA, pp. 307\u2013309. ACM (2010)","DOI":"10.1145\/1869542.1869625"},{"issue":"4","key":"4_CR14","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/C-M.1978.218132","volume":"11","author":"RE Fairley","year":"1978","unstructured":"Fairley, R.E.: Tutorial: static analysis and dynamic testing of computer software. Computer 11(4), 14\u201323 (1978)","journal-title":"Computer"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Gates, A.Q., Mondragon, O., Payne, M., Roach, S.: Instrumentation of intermediate code for runtime verification. In: Proceedings of 28th Annual NASA Goddard Software Engineering Workshop, pp. 66\u201371, December 2003","DOI":"10.1109\/SEW.2003.1270727"},{"key":"4_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-642-35992-7_9","volume-title":"Generative and Transformational Techniques in Software Engineering IV","author":"F Heidenreich","year":"2013","unstructured":"Heidenreich, F., Johannes, J., Karol, S., Seifert, M., Wende, C.: Model-based language engineering with EMFText. In: L\u00e4mmel, R., Saraiva, J., Visser, J. (eds.) GTTSE 2011. LNCS, vol. 7680, pp. 322\u2013345. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-35992-7_9"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/978-3-642-12107-4_25","volume-title":"Software Language Engineering","author":"F Heidenreich","year":"2010","unstructured":"Heidenreich, F., Johannes, J., Seifert, M., Wende, C.: Closing the gap between modelling and Java. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol. 5969, pp. 374\u2013383. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-12107-4_25"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Lindlan, K.A., Cuny, J., Malony, A.D., Shende, S., Mohr, B., Rivenburgh, R., Rasmussen, C.: A tool framework for static and dynamic analysis of object-oriented software with templates. In: ACM\/IEEE SC, p. 49, November 2000","DOI":"10.1109\/SC.2000.10052"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Luk, C.K., Cohn, R., Muth, R., Patil, H., Klauser, A., Lowney, G., Wallace, S., Reddi, V.J., Hazelwood, K.: Pin: building customized program analysis tools with dynamic instrumentation. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, pp. 190\u2013200 (2005)","DOI":"10.1145\/1065010.1065034"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Paige, R.F., Kolovos, D.S., Rose, L.M., Drivalos, N., Polack, F.A.C.: The design of a conceptual framework and technical infrastructure for model management language engineering. In: Proceedings of International Conference on Engineering of Complex Computer Systems, pp. 162\u2013171. IEEE Computer Society (2009). \nhttp:\/\/dx.doi.org\/10.1109\/ICECCS.2009.14","DOI":"10.1109\/ICECCS.2009.14"},{"issue":"6","key":"4_CR21","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/352029.352035","volume":"35","author":"A Deursen Van","year":"2000","unstructured":"Van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. Sigplan Not. 35(6), 26\u201336 (2000)","journal-title":"Sigplan Not."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Wang, C., Mao, X., Dai, Z., Lei, Y.: Research on automatic instrumentation for bytecode testing and debugging. In: IEEE International Conference on Computer Science and Automation Engineering (CSAE), vol. 1, pp. 268\u2013274 (2012)","DOI":"10.1109\/CSAE.2012.6272595"},{"key":"4_CR23","unstructured":"Yildiz, B.M., Rensink, A., Bockisch, C., Ak\u015fit, M.: A model-derivation framework for timing analysis of Java software systems. Technical report TR-CTIT-15-08, Centre for Telematics and Information Technology, University of Twente (2015)"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Yildiz, B.M., Rensink, A., Bockisch, C., Aksit, M.: A model-derivation framework for software analysis. In: Hermanns, H., H\u00f6fner, P. (eds.) Proceedings MARS. EPTCS, vol. 244, pp. 217\u2013229. Open Publishing Association (2017)","DOI":"10.4204\/EPTCS.244.9"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74730-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T05:37:42Z","timestamp":1516599462000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74730-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747293","9783319747309"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74730-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}