{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,2,9]],"date-time":"2024-02-09T23:31:00Z","timestamp":1707521460321},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,2,11]],"date-time":"2010-02-11T00:00:00Z","timestamp":1265846400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1007\/s10515-010-0063-y","type":"journal-article","created":{"date-parts":[[2010,2,10]],"date-time":"2010-02-10T14:18:14Z","timestamp":1265811494000},"page":"149-180","source":"Crossref","is-referenced-by-count":23,"title":["Efficient monitoring of parametric context-free patterns"],"prefix":"10.1007","volume":"17","author":[{"given":"Patrick O\u2019Neil","family":"Meredith","sequence":"first","affiliation":[]},{"given":"Dongyun","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Feng","family":"Chen","sequence":"additional","affiliation":[]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,2,11]]},"reference":[{"key":"63_CR1","volume-title":"Compilers, Principles, Techniques, and Tools","author":"A.V. Aho","year":"1986","unstructured":"Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison-Wesley, Reading (1986), pp. 215\u2013246"},{"key":"63_CR2","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/1094811.1094839","volume-title":"OOPSLA\u201905","author":"C. Allan","year":"2005","unstructured":"Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhot\u00e1k, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA\u201905, pp. 345\u2013364. ACM, New York (2005)"},{"key":"63_CR3","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/1052898.1052906","volume-title":"AOSD\u201905","author":"P. Avgustinov","year":"2005","unstructured":"Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhotak, J., Lhotak, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: ABC: an extensible AspectJ compiler. In: AOSD\u201905, pp. 87\u201398. ACM, New York (2005)"},{"key":"63_CR4","doi-asserted-by":"crossref","first-page":"589","DOI":"10.1145\/1297027.1297070","volume-title":"OOPSLA\u201907","author":"P. Avgustinov","year":"2007","unstructured":"Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: OOPSLA\u201907, pp. 589\u2013608. ACM, New York (2007)"},{"key":"63_CR5","doi-asserted-by":"crossref","unstructured":"Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from eagle to ruler. J.\u00a0Log. Comput. exn076+ (2008)","DOI":"10.1093\/logcom\/exn076"},{"key":"63_CR6","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1145\/1167473.1167488","volume-title":"OOPSLA\u201906","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\u201906, pp. 169\u2013190. ACM, New York (2006)"},{"key":"63_CR7","unstructured":"Bodden, E.: J-LO, a tool for runtime-checking temporal assertions. Master\u2019s thesis, RWTH Aachen University (2005)"},{"key":"63_CR8","series-title":"LNCS","first-page":"525","volume-title":"ECOOP\u201907","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: ECOOP\u201907. LNCS, vol. 4609, pp. 525\u2013549. Springer, Berlin (2007)"},{"key":"63_CR9","unstructured":"Bodden, E. Lam, P., Hendren, L.: Tracematches Benchmarks (2008). http:\/\/abc.comlab.ox.ac.uk\/tmahead"},{"key":"63_CR10","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-3-540-73370-6_20","volume-title":"Model Checking Software (SPIN\u201907)","author":"S. Chaudhuri","year":"2007","unstructured":"Chaudhuri, S., Alur, R.: Instrumenting C programs with nested word monitors. In: Model Checking Software (SPIN\u201907). LNCS, vol. 4595, pp. 279\u2013283. Springer, Berlin (2007)"},{"key":"63_CR11","doi-asserted-by":"crossref","unstructured":"Chen, F., Ro\u015fu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. In: Runtime Verification (RV\u201903). ENTCS, vol. 89 (2003)","DOI":"10.1016\/S1571-0661(04)81045-4"},{"key":"63_CR12","doi-asserted-by":"crossref","first-page":"569","DOI":"10.1145\/1297027.1297069","volume-title":"OOPSLA\u201907","author":"F. Chen","year":"2007","unstructured":"Chen, F., Ro\u015fu, G.: MOP: An efficient and generic runtime verification framework. In: OOPSLA\u201907, pp. 569\u2013588. ACM, New York (2007)"},{"key":"63_CR13","series-title":"LNCS","first-page":"246","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201909)","author":"F. Chen","year":"2009","unstructured":"Chen, F., Ro\u015fu, G.: Parametric trace slicing and monitoring. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS\u201909). LNCS, vol. 5505, pp. 246\u2013261. Springer, Berlin (2009)"},{"key":"63_CR14","series-title":"LNCS","first-page":"357","volume-title":"ICFEM\u201904","author":"F. Chen","year":"2004","unstructured":"Chen, F., D\u2019Amorim, M., Ro\u015fu, G.: A formal monitoring-based framework for software development and analysis. In: ICFEM\u201904. LNCS, vol. 3308, pp. 357\u2013372. Springer, Berlin (2004)"},{"key":"63_CR15","doi-asserted-by":"crossref","unstructured":"Chen, F., D\u2019Amorim, M., Ro\u015fu, G.: Checking and correcting behaviors of Java programs at runtime with JavaMOP. In: Runtime Verification(RV\u201906), ENTCS, vol. 144, pp. 3\u201320 (2006)","DOI":"10.1016\/j.entcs.2006.02.002"},{"key":"63_CR16","doi-asserted-by":"crossref","unstructured":"Chen, F., Meredith, P., Jin, D., Rosu, G.: Efficient formalism-independent monitoring of parametric properties. In: Automated Software Engineering (ASE\u201909), IEEE, pp. 383\u2013394 (2009)","DOI":"10.1109\/ASE.2009.50"},{"issue":"4","key":"63_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1082983.1083249","volume":"30","author":"M. d\u2019Amorim","year":"2005","unstructured":"d\u2019Amorim, M., Havelund, K.: Event-based runtime verification of Java programs. ACM SIGSOFT Softw. Eng. Not. 30(4), 1\u20137 (2005)","journal-title":"ACM SIGSOFT Softw. Eng. Not."},{"key":"63_CR18","unstructured":"Drusinsky, D.: Temporal Rover (1997\u20132009). http:\/\/www.time-rover.com"},{"key":"63_CR19","unstructured":"Duncan, A.G.: Test grammars: A method for generating program test data. In: Workshop on Software Testing and Test Documentation, pp. 270\u2013281 (1978)"},{"key":"63_CR20","unstructured":"Duncan, A.G., Hutchison, J.S.: Using attributed grammars to test designs and implementations. In: International Conference on Software Engineering (ICSE\u201981), pp. 170\u2013178 (1981)"},{"key":"63_CR21","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/1094811.1094841","volume-title":"OOPSLA\u201905","author":"S. Goldsmith","year":"2005","unstructured":"Goldsmith, S., O\u2019Callahan, R., Aiken, A.: Relational queries over program traces. In: OOPSLA\u201905, pp.\u00a0385\u2013402. ACM, New York (2005)"},{"issue":"4","key":"63_CR22","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1147\/sj.94.0242","volume":"9","author":"K. Hanford","year":"1970","unstructured":"Hanford, K.: Automatic generation of test cases. IBM Syst. J. 9(4), 242\u2013257 (1970)","journal-title":"IBM Syst. J."},{"key":"63_CR23","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro\u015fu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification(RV\u201901), ENTCS, vol. 55 (2001)","DOI":"10.1016\/S1571-0661(04)00253-1"},{"key":"63_CR24","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"2001","unstructured":"Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley, Reading (2001)","edition":"2"},{"key":"63_CR25","doi-asserted-by":"crossref","unstructured":"Houssais, B.: Verification of an Algol 68 implementation. In: Strathclyde Algol 68 Conference (1977)","DOI":"10.1145\/800238.807151"},{"key":"63_CR26","first-page":"39","volume-title":"International Symposium on Software Testing and Analysis (ISSTA\u201907)","author":"G. Hughes","year":"2007","unstructured":"Hughes, G., Bultan, T.: Interface grammars for modular software model checking. In: International Symposium on Software Testing and Analysis (ISSTA\u201907), pp. 39\u201349. ACM, New York (2007)"},{"key":"63_CR27","series-title":"LNCS","first-page":"327","volume-title":"ECOOP\u201901","author":"G. Kiczales","year":"2001","unstructured":"Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: ECOOP\u201901. LNCS, vol. 2072, pp. 327\u2013353. Springer, Berlin (2001)"},{"issue":"2","key":"63_CR28","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1023\/B:FORM.0000017719.43755.7c","volume":"24","author":"M. Kim","year":"2004","unstructured":"Kim, M., Viswanathan, M., Kannan, S., Lee, I., Sokolsky, O.: Java-MaC: A run-time assurance approach for Java programs. Form. Methods Syst. Des. 24(2), 129\u2013155 (2004)","journal-title":"Form. Methods Syst. Des."},{"issue":"6","key":"63_CR29","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1016\/S0019-9958(65)90426-2","volume":"8","author":"D.E. Knuth","year":"1965","unstructured":"Knuth, D.E.: On the translation of languages from left to right. Inf. Control 8(6), 607\u2013639 (1965)","journal-title":"Inf. Control"},{"key":"63_CR30","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1145\/367845.367996","volume-title":"OOPSLA\u201900","author":"G.T. Leavens","year":"2000","unstructured":"Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: OOPSLA\u201900, pp. 105\u2013106. ACM, New York (2000)"},{"key":"63_CR31","first-page":"365","volume-title":"OOPSLA\u201907","author":"M. Martin","year":"2005","unstructured":"Martin, M., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: OOPSLA\u201907, pp. 365\u2013383. ACM, New York (2005)"},{"issue":"4","key":"63_CR32","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"P.M. Maurer","year":"1990","unstructured":"Maurer, P.M.: Generating test data with enhanced context-free grammars. IEEE Softw. 7(4), 50\u201355 (1990)","journal-title":"IEEE Softw."},{"key":"63_CR33","doi-asserted-by":"crossref","unstructured":"Meredith, P., Jin, D., Chen, F., Ro\u015fu, G.: Efficient monitoring of parametric context-free patterns. In: Automated Software Engineering (ASE \u201908), IEEE, pp. 148\u201315 (2008)","DOI":"10.1109\/ASE.2008.25"},{"key":"63_CR34","first-page":"336","volume":"2","author":"P. Purdom","year":"1972","unstructured":"Purdom, P.: A sentence generator for testing parsers. BIT 2, 336\u2013375 (1972)","journal-title":"BIT"},{"issue":"1","key":"63_CR35","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"F.B. Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"63_CR36","doi-asserted-by":"crossref","unstructured":"Sirer, E., Bershad, B.: Using production grammars in software testing. In: Domain Specific Languages (DSL\u201900), pp. 1\u201313 (1999)","DOI":"10.1145\/331960.331965"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0063-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-010-0063-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-010-0063-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T04:53:29Z","timestamp":1685422409000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-010-0063-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,11]]},"references-count":36,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,6]]}},"alternative-id":["63"],"URL":"https:\/\/doi.org\/10.1007\/s10515-010-0063-y","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,11]]}}}