{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:46:56Z","timestamp":1725893216619},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540773948"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77395-5_3","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T11:25:53Z","timestamp":1196940353000},"page":"22-37","source":"Crossref","is-referenced-by-count":22,"title":["Collaborative Runtime Verification with Tracematches"],"prefix":"10.1007","author":[{"given":"Eric","family":"Bodden","sequence":"first","affiliation":[]},{"given":"Laurie","family":"Hendren","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Lam","sequence":"additional","affiliation":[]},{"given":"Ond\u0159ej","family":"Lhot\u00e1k","sequence":"additional","affiliation":[]},{"given":"Nomair A.","family":"Naeem","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"345","volume-title":"Object-Oriented Programming, Systems, Languages and Applications","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding Trace Matching with Free Variables to AspectJ. In: Object-Oriented Programming, Systems, Languages and Applications, pp. 345\u2013364. ACM Press, New York (2005)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., de Moor, O., Tibble, J.: On the semantics of matching trace monitoring patterns. In: Seventh Workshop on Runtime Verification, Vancouver, Canada, March. LNCS, (2007)","DOI":"10.1007\/978-3-540-77395-5_2"},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., Bodden, E., Lhot\u00e1k, O., Hendren, L., de Moor, O., Ongkingco, N., Sittampalam, G.: Efficient trace monitoring. Technical Report abc-2006-1, (March 2006), http:\/\/www.aspectbench.org\/","DOI":"10.1145\/1176617.1176673"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (2007)","DOI":"10.1145\/1297027.1297070"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/1167473.1167488","volume-title":"OOPSLA 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications","author":"S.M. Blackburn","year":"2006","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 2006: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications, pp. 169\u2013190. ACM Press, New York, USA (2006)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"525","DOI":"10.1007\/978-3-540-73589-2_25","volume-title":"21st European Conference on Object-Oriented Programming","author":"E. Bodden","year":"2007","unstructured":"Bodden, E., Hendren, L., Lhot\u00e1k, O.: A staged static program analysis to improve the performance of runtime monitoring. In: 21st European Conference on Object-Oriented Programming, Berlin, Germany, July 30th-August 3rd. LNCS, vol.\u00a04609, pp. 525\u2013549. Springer, Heidelberg (2007)"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Chen, F., Rosu, G.: MOP: An efficient and generic runtime verification framework. In: ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA) (2007)","DOI":"10.1145\/1297027.1297069"},{"key":"3_CR8","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 - Object-Oriented Programming","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 327\u2013353. Springer, Heidelberg (2001)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Liblit, B., Aiken, A., Zheng, A., Jordan, M.: Bug isolation via remote program sampling. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation, San Diego, California, pp. 141\u2013154 (June 2003)","DOI":"10.1145\/781131.781148"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Martin, M., Livshits, B., Lam, M.: Finding application errors using PQL: a program query language. In: Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pp. 365\u2013383 (2005)","DOI":"10.1145\/1103845.1094840"},{"issue":"1","key":"3_CR11","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1002\/(SICI)1097-024X(199701)27:1<87::AID-SPE78>3.0.CO;2-P","volume":"27","author":"H. Patil","year":"1997","unstructured":"Patil, H., Fischer, C.: Low-cost, concurrent checking of pointer and array accesses in C programs. Softw. Pract. Exper\u00a027(1), 87\u2013110 (1997)","journal-title":"Softw. Pract. Exper"},{"key":"3_CR12","first-page":"277","volume-title":"ICSE 1999. Proceedings of the 21st International Conference on Software Engineering","author":"C. Pavlopoulou","year":"1999","unstructured":"Pavlopoulou, C., Young, M.: Residual test coverage monitoring. In: ICSE 1999. Proceedings of the 21st International Conference on Software Engineering, pp. 277\u2013284. IEEE Computer Society Press, Los Alamitos, CA, USA (1999)"},{"key":"3_CR13","unstructured":"Grieskamp, W.: Microsoft Research. In: Personal communication, (January 007)"}],"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-540-77395-5_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:10:34Z","timestamp":1619521834000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77395-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540773948"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77395-5_3","relation":{},"subject":[]}}