{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T12:40:01Z","timestamp":1746276001634,"version":"3.40.4"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,6,22]],"date-time":"2014-06-22T00:00:00Z","timestamp":1403395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1007\/s10009-014-0326-1","type":"journal-article","created":{"date-parts":[[2014,6,21]],"date-time":"2014-06-21T12:56:45Z","timestamp":1403355405000},"page":"125-142","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["On piggyback runtime monitoring of object-oriented programs"],"prefix":"10.1007","volume":"17","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Vallet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rapha\u00ebl","family":"Tremblay-Lessard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,6,22]]},"reference":[{"key":"326_CR1","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/s10270-004-0058-x","volume":"4","author":"W Ahrendt","year":"2005","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Bubel, R., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Roth, A., Schlager, S., Schmitt, P.H.: The KeY tool. Softw. Syst. Model. 4, 32\u201354 (2005)","journal-title":"Softw. Syst. Model."},{"key":"326_CR2","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1145\/1297027.1297070","volume-title":"OOPSLA","author":"P Avgustinov","year":"2007","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: Gabriel, R.P., Bacon, D.F., Lopes, C.V., Steele Jr, G.L. (eds.) OOPSLA, pp. 589\u2013608. ACM, New York (2007)"},{"issue":"3","key":"326_CR3","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/exn076","volume":"20","author":"H Barringer","year":"2010","unstructured":"Barringer, H., Rydeheard, D.E., Havelund, K.: Rule systems for run-time monitoring: from Eagle to RuleR. J. Log. Comput. 20(3), 675\u2013706 (2010)","journal-title":"J. Log. Comput."},{"key":"326_CR4","doi-asserted-by":"crossref","unstructured":"Blackburn, S.M., Garner, R., Hoffman, C., Khan, A.M., McKinley, K.S., Bentzur, R., Diwan, A., Feinberg, D., Frampton, D., Guyer, S.Z., Hirzel, M., Hosking, A., Jump, M., Lee, H., Moss, J.E.B., Phansalkar, A., Stefanovi\u0107, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA \u201906: Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, New York, NY, USA, October 2006, pp. 169\u2013190. ACM Press, New York (2006)","DOI":"10.1145\/1167473.1167488"},{"key":"326_CR5","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/1509239.1509243","volume-title":"AOSD","author":"E Bodden","year":"2009","unstructured":"Bodden, E., Chen, F., Ro\u015fu, G.: Dependent advice: a general approach to optimizing history-based aspects. In: Sullivan, K.J., Moreira, A., Schwanninger, C., Gray, J. (eds.) AOSD, pp. 3\u201314. ACM, New York (2009)"},{"issue":"3","key":"326_CR6","doi-asserted-by":"crossref","first-page":"707","DOI":"10.1093\/logcom\/exn077","volume":"20","author":"E Bodden","year":"2010","unstructured":"Bodden, E., Hendren, L.J., Lam, P., Lhot\u00e1k, O., Naeem, N.A.: Collaborative runtime verification with tracematches. J. Log. Comput. 20(3), 707\u2013723 (2010)","journal-title":"J. Log. Comput."},{"key":"326_CR7","doi-asserted-by":"crossref","unstructured":"Bodden, E., Hendren, L.J., Lhot\u00e1k, O.: A staged static program analysis to improve the performance of runtime monitoring. In: Ernst, E. (ed.) ECOOP. Lecture Notes in Computer Science, vol. 4609, pp. 525\u2013549. Springer, Berlin (2007)","DOI":"10.1007\/978-3-540-73589-2_25"},{"key":"326_CR8","volume-title":"Graph-Based Knowledge Representation. Computational Foundations of Conceptual Graphs","author":"M Chein","year":"2009","unstructured":"Chein, M., Mugnier, M.-L.: Graph-Based Knowledge Representation. Computational Foundations of Conceptual Graphs. Springer, Berlin (2009)"},{"key":"326_CR9","doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P.O., Jin, D., Ro\u015fu, G.: Efficient formalism-independent monitoring of parametric properties. In: ASE, pp. 383\u2013394. IEEE Computer Society, Los Alamitos (2009)","DOI":"10.1109\/ASE.2009.50"},{"key":"326_CR10","doi-asserted-by":"crossref","unstructured":"Colombo, C., Pace, G.J., Schneider, G.: LARVA\u2014safer monitoring of real-time java programs (tool paper). In: Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 33\u201337. IEEE Computer Society, Los Alamitos (2009)","DOI":"10.1109\/SEFM.2009.13"},{"key":"326_CR11","unstructured":"Erlingsson, \u00da., Pistoia, M. (eds.). In: Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, PLAS 2008, Tucson, AZ, USA, June 8, 2008. ACM, New York (2008)"},{"key":"326_CR12","doi-asserted-by":"crossref","unstructured":"Erlingsson, \u00da., Schneider, F.B.: IRM enforcement of Java stack inspection. In: IEEE Symposium on Security and Privacy, pp. 246\u2013255 (2000)","DOI":"10.1109\/SECPRI.2000.848461"},{"key":"326_CR13","doi-asserted-by":"crossref","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: Johnson and Gabriel [17], pp. 385\u2013402","DOI":"10.1145\/1103845.1094841"},{"issue":"2","key":"326_CR14","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S Hall\u00e9","year":"2011","unstructured":"Hall\u00e9, S., Villemaire, R.: Runtime enforcement of web service message contracts with data. IEEE Trans. Serv. Comput. 5(2), 192\u2013206 (2011)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"326_CR15","unstructured":"Java OpenJDK version 6. http:\/\/openjdk.java.net\/projects\/jdk6\/"},{"key":"326_CR16","first-page":"415","volume-title":"PLDI","author":"D Jin","year":"2011","unstructured":"Jin, D., Meredith, P.O., Griffith, D., Ro\u015fu, G.: Garbage collection for monitoring parametric properties. In: Hall, M.W., Padua, D.A. (eds.) PLDI, pp. 415\u2013424. ACM, New York (2011)"},{"key":"326_CR17","unstructured":"Johnson, R.E., Gabriel, R.P. (eds.). In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2005, October 16\u201320, 2005, San Diego, CA, USA. ACM, New York (2005)"},{"issue":"10","key":"326_CR18","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/383845.383858","volume":"44","author":"G Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: Getting started with AspectJ. Commun. ACM 44(10), 59\u201365 (2001)","journal-title":"Commun. ACM"},{"key":"326_CR19","unstructured":"L\u00ea, N.M.: Contracts for Java: a practical framework for contract programming (2010). http:\/\/code.google.com\/p\/cofoja\/"},{"key":"326_CR20","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Sen, K.: Hybrid concolic testing. In: Proceedings of the 29th International Conference on Software Engineering (ICSE\u201907), pp. 416\u2013426 (2007)","DOI":"10.1109\/ICSE.2007.41"},{"key":"326_CR21","doi-asserted-by":"crossref","unstructured":"Martin, M.C., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: Johnson and Gabriel [17], pp. 365\u2013383","DOI":"10.1145\/1103845.1094840"},{"issue":"2","key":"326_CR22","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s10515-010-0063-y","volume":"17","author":"PO Meredith","year":"2010","unstructured":"Meredith, P.O., Jin, D., Chen, F., Ro\u015fu, G.: Efficient monitoring of parametric context-free patterns. Autom. Softw. Eng. 17(2), 149\u2013180 (2010)","journal-title":"Autom. Softw. Eng."},{"key":"326_CR23","unstructured":"Meredith, P.O., Jin, D., Griffith, D., Chen, F., Ro\u015fu, G.: An overview of the MOP runtime verification framework. Int. J. Softw. Tech. Technol. Transf. 14(3), 249\u2013289 (2012)"},{"key":"326_CR24","unstructured":"O\u2019Hair, K.: HPROF: a heap\/CPU profiling tool in J2SE 5.0 (2004). http:\/\/java.sun.com\/developer\/technicalArticles\/Programming\/HPROF.html"},{"issue":"12","key":"326_CR25","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"issue":"4","key":"326_CR26","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/j.entcs.2006.02.007","volume":"144","author":"V Stolz","year":"2006","unstructured":"Stolz, V., Bodden, E.: Temporal assertions using AspectJ. Electr. Notes Theor. Comput. Sci. 144(4), 109\u2013124 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3\u20134","key":"326_CR27","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/s10515-011-0084-1","volume":"18","author":"A Wasylkowski","year":"2011","unstructured":"Wasylkowski, A., Zeller, A.: Mining temporal specifications from object usage. Autom. Softw. Eng. 18(3\u20134), 263\u2013292 (2011)","journal-title":"Autom. Softw. Eng."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0326-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-014-0326-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-014-0326-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T12:26:59Z","timestamp":1746275219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-014-0326-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,22]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,4]]}},"alternative-id":["326"],"URL":"https:\/\/doi.org\/10.1007\/s10009-014-0326-1","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2014,6,22]]}}}