Efficient monitoring of parametric context-free patterns

Automated Software Engineering

Volumn 17, Issue 2, 2010, Pages 149-180

  Meredith, Patrick O'Neil ^a   Jin, Dongyun ^a   Chen, Feng ^a   Roşu, Grigore ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

Context free languages; Monitoring; Runtime verification

Indexed keywords

CONTEXT-FREE; EFFICIENT MONITORING; EXECUTION TRACE; LARGE PROGRAMS; PARSING ALGORITHM; PREFIX MATCHING; REAL-LIFE APPLICATIONS; RUN-TIME VERIFICATION; RUNTIME OVERHEADS; SYNTHESIS ALGORITHMS; TEMPORAL LOGIC SPECIFICATIONS;

AUTOMATA THEORY; ELECTRIC REACTORS; LINGUISTICS; MONITORING; SYNTHESIS (CHEMICAL); TEMPORAL LOGIC;

CONTEXT FREE LANGUAGES;

EID: 77952094141     PISSN: 09288910     EISSN: 15737535     Source Type: Journal    
DOI: 10.1007/s10515-010-0063-y     Document Type: Conference Paper

References (36)

1. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Principles, Techniques, and Tools. Addison-Wesley, Reading (1986), pp. 215-246
2. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L.J., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA'05, pp. 345-364. ACM, New York (2005)
3. 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'05, pp. 87-98. ACM, New York (2005)
4. Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitors feasible. In: OOPSLA'07, pp. 589-608. ACM, New York (2007)
5. Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from eagle to ruler. J. Log. Comput. exn076+ (2008)
6. 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ć, D., VanDrunen, T., von Dincklage, D., Wiedermann, B.: The DaCapo benchmarks: Java benchmarking development and analysis. In: OOPSLA'06, pp. 169-190. ACM, New York (2006)
7. Bodden, E.: J-LO, a tool for runtime-checking temporal assertions. Master's thesis, RWTH Aachen University (2005)
8. Bodden, E., Hendren, L., Lhoták, O.: A staged static program analysis to improve the performance of runtime monitoring. In: ECOOP'07. LNCS, vol. 4609, pp. 525-549. Springer, Berlin (2007)
9. Bodden, E. Lam, P., Hendren, L.: Tracematches Benchmarks (2008). http://abc.comlab.ox.ac.uk/tmahead
10. Chaudhuri, S., Alur, R.: Instrumenting C programs with nested word monitors. In: Model Checking Software (SPIN'07). LNCS, vol. 4595, pp. 279-283. Springer, Berlin (2007)
11. Chen, F., Roşu, G.: Towards monitoring-oriented programming: A paradigm combining specification and implementation. In: Runtime Verification (RV'03). ENTCS, vol. 89 (2003)
12. Chen, F., Roşu, G.: MOP: An efficient and generic runtime verification framework. In: OOPSLA'07, pp. 569-588. ACM, New York (2007)
13. Chen, F., Roşu, G.: Parametric trace slicing and monitoring. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS'09). LNCS, vol. 5505, pp. 246-261. Springer, Berlin (2009)
14. Chen, F., D'Amorim, M., Roşu, G.: A formal monitoring-based framework for software development and analysis. In: ICFEM'04. LNCS, vol. 3308, pp. 357-372. Springer, Berlin (2004)
15. Chen, F., D'Amorim, M., Roşu, G.: Checking and correcting behaviors of Java programs at runtime with JavaMOP. In: Runtime Verification(RV'06), ENTCS, vol. 144, pp. 3-20 (2006)
16. Chen, F., Meredith, P., Jin, D., Rosu, G.: Efficient formalism- independent monitoring of parametric properties. In: Automated Software Engineering (ASE'09), IEEE, pp. 383-394 (2009)
17. M. d'Amorim K. Havelund 2005 Event-based runtime verification of Java programs ACM SIGSOFT Softw. Eng. Not. 30 4 1 7 10.1145/1082983.1083249
18. Drusinsky, D.: Temporal Rover (1997-2009). http://www.time-rover.com
19. Duncan, A.G.: Test grammars: A method for generating program test data. In: Workshop on Software Testing and Test Documentation, pp. 270-281 (1978)
20. Duncan, A.G., Hutchison, J.S.: Using attributed grammars to test designs and implementations. In: International Conference on Software Engineering (ICSE'81), pp. 170-178 (1981)
21. Goldsmith, S., O'Callahan, R., Aiken, A.: Relational queries over program traces. In: OOPSLA'05, pp. 385-402. ACM, New York (2005)
22. K. Hanford 1970 Automatic generation of test cases IBM Syst. J. 9 4 242 257
23. Havelund, K., Roşu, G.: Monitoring Java programs with Java PathExplorer. In: Runtime Verification(RV'01), ENTCS, vol. 55 (2001)
24. Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley, Reading (2001)
25. Houssais, B.: Verification of an Algol 68 implementation. In: Strathclyde Algol 68 Conference (1977)
26. Hughes, G., Bultan, T.: Interface grammars for modular software model checking. In: International Symposium on Software Testing and Analysis (ISSTA'07), pp. 39-49. ACM, New York (2007)
27. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: ECOOP'01. LNCS, vol. 2072, pp. 327-353. Springer, Berlin (2001)
28. M. Kim M. Viswanathan S. Kannan I. Lee O. Sokolsky 2004 Java-MaC: A run-time assurance approach for Java programs Form. Methods Syst. Des. 24 2 129 155 1073.68552 10.1023/B:FORM.0000017719.43755.7c
29. D.E. Knuth 1965 On the translation of languages from left to right Inf. Control 8 6 607 639 10.1016/S0019-9958(65)90426-2 189942
30. Leavens, G.T., Leino, K.R.M., Poll, E., Ruby, C., Jacobs, B.: JML: notations and tools supporting detailed design in Java. In: OOPSLA'00, pp. 105-106. ACM, New York (2000)
31. Martin, M., Livshits, V.B., Lam, M.S.: Finding application errors and security flaws using PQL: a program query language. In: OOPSLA'07, pp. 365-383. ACM, New York (2005)
32. P.M. Maurer 1990 Generating test data with enhanced context-free grammars IEEE Softw. 7 4 50 55 10.1109/52.56422 (Pubitemid 20737739)
33. Meredith, P., Jin, D., Chen, F., Roşu, G.: Efficient monitoring of parametric context-free patterns. In: Automated Software Engineering (ASE '08), IEEE, pp. 148-15 (2008)
34. P. Purdom 1972 A sentence generator for testing parsers BIT 2 336 375
35. F.B. Schneider 2000 Enforceable security policies ACM Trans. Inf. Syst. Secur. 3 1 30 50 10.1145/353323.353382
36. Sirer, E., Bershad, B.: Using production grammars in software testing. In: Domain Specific Languages (DSL'00), pp. 1-13 (1999)