{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:58:16Z","timestamp":1743141496077,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319469812"},{"type":"electronic","value":"9783319469829"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-46982-9_14","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T11:41:08Z","timestamp":1474285268000},"page":"219-234","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Extended Code Coverage for AspectJ-Based Runtime Verification Tools"],"prefix":"10.1007","author":[{"given":"Omar","family":"Javed","sequence":"first","affiliation":[]},{"given":"Yudi","family":"Zheng","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Ros\u00e0","sequence":"additional","affiliation":[]},{"given":"Haiyang","family":"Sun","sequence":"additional","affiliation":[]},{"given":"Walter","family":"Binder","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Jin, D., Meredith, P.O.N., Lee, C., Ro\u015fu, G.: JavaMOP: efficient parametric runtime monitoring framework. In: ICSE, pp. 1427\u20131430 (2012)","DOI":"10.1109\/ICSE.2012.6227231"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: LARVA\u2013safer monitoring of real-time Java programs (tool paper). In: SEFM, pp. 33\u201337 (2009)","DOI":"10.1109\/SEFM.2009.13"},{"key":"14_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-540-77395-5_3","volume-title":"Runtime Verification","author":"E Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with tracematches. In: Sokolsky, O., Ta\u015f\u0131ran, S. (eds.) RV 2007. LNCS, vol. 4839, pp. 22\u201337. Springer, Heidelberg (2007). doi:\n                      10.1007\/978-3-540-77395-5_3"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"596","DOI":"10.1007\/978-3-662-46681-0_55","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"G Reger","year":"2015","unstructured":"Reger, G., Cruz, H.C., Rydeheard, D.: MarQ: monitoring at runtime with QEA. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 596\u2013610. Springer, Heidelberg (2015). doi:\n                      10.1007\/978-3-662-46681-0_55"},{"key":"14_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45337-7_18","volume-title":"ECOOP 2001\u2014Object-Oriented Programming","author":"G Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, pp. 327\u2013354. Springer, Heidelberg (2001). doi:\n                      10.1007\/3-540-45337-7_18"},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"1595","DOI":"10.1142\/S0218194015400343","volume":"25","author":"C Xiang","year":"2015","unstructured":"Xiang, C., Qi, Z., Binder, W.: Flexible and extensible runtime verification for Java (Extended Version). Int. J. Softw. Eng. Knowl. Eng. 25, 1595\u20131609 (2015)","journal-title":"Int. J. Softw. Eng. Knowl. Eng."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Marek, L., Villaz\u00f3n, A., Zheng, Y., Ansaloni, D., Binder, W., Qi, Z.: DiSL: a domain-specific language for bytecode instrumentation. In: AOSD, pp. 239\u2013250 (2012)","DOI":"10.1145\/2162049.2162077"},{"key":"14_CR8","doi-asserted-by":"publisher","unstructured":"Binder, W., Moret, P., Tanter, \u00c9., Ansaloni, D.: Polymorphic bytecode instrumentation. Softw. Pract. Exp. (2015) doi:\n                      10.1002\/spe.2385","DOI":"10.1002\/spe.2385"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Marek, L., Kell, S., Zheng, Y., Bulej, L., Binder, W., T\u016fma, P., Ansaloni, D., Sarimbekov, A., Sewe, A.: ShadowVM: robust and comprehensive dynamic program analysis for the Java platform. In: GPCE, pp. 105\u2013114 (2013)","DOI":"10.1145\/2637365.2517219"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Kell, S., Ansaloni, D., Binder, W., Marek, L.: The JVM is not observable enough (and What to do about it). In: VMIL, pp. 33\u201338 (2012)","DOI":"10.1145\/2414740.2414747"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Sun, H., Zheng, Y., Bulej, L., Villaz\u00f3n, A., Qi, Z., T\u016fma, P., Binder, W.: A programming model and framework for comprehensive dynamic analysis on Android. In: MODULARITY, pp. 133\u2013145 (2015)","DOI":"10.1145\/2724525.2724566"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/MS.2015.151","volume":"33","author":"Y Zheng","year":"2016","unstructured":"Zheng, Y., Kell, S., Bulej, L., Sun, H., Binder, W.: Comprehensive multi-platform dynamic program analysis for Java and Android. IEEE Softw. 33, 55\u201363 (2016)","journal-title":"IEEE Softw."},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Moret, P., Binder, W., Tanter, E.: Polymorphic bytecode instrumentation. In: AOSD, pp. 129\u2013140 (2011)","DOI":"10.1145\/1960275.1960292"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, J., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Abc: an extensible AspectJ compiler. In: AOSD, pp. 87\u201398 (2005)","DOI":"10.1145\/1052898.1052906"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-36579-6_11","volume-title":"Compiler Construction","author":"N Nystrom","year":"2003","unstructured":"Nystrom, N., Clarkson, M.R., Myers, A.C.: Polyglot: an extensible compiler framework for Java. In: Hedin, G. (ed.) CC 2003. LNCS, vol. 2622, pp. 138\u2013152. Springer, Heidelberg (2003). doi:\n                      10.1007\/3-540-36579-6_11"},{"key":"14_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/3-540-46423-9_2","volume-title":"Compiler Construction","author":"R Vall\u00e9e-Rai","year":"2000","unstructured":"Vall\u00e9e-Rai, R., Gagnon, E., Hendren, L., Lam, P., Pominville, P., Sundaresan, V.: Optimizing Java bytecode using the Soot framework: is it feasible? In: Watt, D.A. (ed.) CC 2000. LNCS, vol. 1781, pp. 18\u201334. Springer, Heidelberg (2000). doi:\n                      10.1007\/3-540-46423-9_2"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/978-3-642-40787-1_26","volume-title":"Runtime Verification","author":"S Arzt","year":"2013","unstructured":"Arzt, S., Rasthofer, S., Bodden, E.: Instrumenting Android and Java applications as easy as abc. In: Legay, A., Bensalem, S. (eds.) RV 2013. LNCS, vol. 8174, pp. 364\u2013381. Springer, Heidelberg (2013). doi:\n                      10.1007\/978-3-642-40787-1_26"},{"key":"14_CR18","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/s10703-012-0171-3","volume":"41","author":"J Seyster","year":"2012","unstructured":"Seyster, J., Dixit, K., Huang, X., Grosu, R., Havelund, K., Smolka, S.A., Stoller, S.D., Zadok, E.: InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. 41, 295\u2013320 (2012)","journal-title":"Formal Methods Syst. Des."},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Falcone, Y., Currea, S.: Weave droid: aspect-oriented programming on Android devices: fully embedded or in the cloud. In: ASE, pp. 350\u2013353 (2012)","DOI":"10.1145\/2351676.2351744"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Bodden, E.: Easily instrumenting Android applications for security purposes. In: CCS, pp. 1499\u20131502 (2013)","DOI":"10.1145\/2508859.2516759"},{"key":"14_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1007\/978-3-642-35632-2_11","volume-title":"Runtime Verification","author":"Y Falcone","year":"2013","unstructured":"Falcone, Y., Currea, S., Jaber, M.: Runtime verification and enforcement for Android applications with RV-Droid. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 88\u201395. Springer, Heidelberg (2013). doi:\n                      10.1007\/978-3-642-35632-2_11"},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-319-23820-3_24","volume-title":"Runtime Verification","author":"P Daian","year":"2015","unstructured":"Daian, P., Falcone, Y., Meredith, P., \u015eerb\u0103nu\u0163\u0103, T.F., Shiriashi, S., Iwai, A., Rosu, G.: RV-Android: efficient parametric Android runtime verification, a brief tutorial. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 342\u2013357. Springer, Heidelberg (2015). doi:\n                      10.1007\/978-3-319-23820-3_24"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46982-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:29:15Z","timestamp":1558315755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-46982-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319469812","9783319469829"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46982-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"20 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Madrid","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 September 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 September 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}