JavaMOP: Efficient parametric runtime monitoring framework

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2012, Pages 1427-1430

  Jin, Dongyun ^a   Meredith, Patrick O'Neil ^a   Lee, Choonghwan ^a   Rosu, Grigore ^a  

^a University of Illinois at Urbana Champaign ^*  (United States)

Author keywords

aspect oriented programming; debugging; runtime monitoring; runtime verification; testing

Indexed keywords

ASPECT-ORIENTED; GLOBAL PROPERTIES; JAVA-MOP; LOGICAL FORMALISM; MEMORY USAGE; MONITORING SYSTEM; RUN-TIME VERIFICATION; RUNTIME MONITORING; RUNTIME OVERHEADS; SOFTWARE DEVELOPMENT CYCLES;

ASPECT ORIENTED PROGRAMMING; COMPUTER DEBUGGING; MONITORING; NETWORK COMPONENTS; TESTING;

SOFTWARE ENGINEERING;

EID: 84864229964     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSE.2012.6227231     Document Type: Conference Paper

References (22)

1. K. Havelund and G. Roşu, "Monitoring Java programs with Java PathExplorer," in Runtime Verification (RV'01), ser. ENTCS, vol. 55, no. 2. Elsevier, 2001.
2. D. Drusinsky, "The Temporal Rover and the ATG Rover," in Model Checking and Software Verification (SPIN'00), ser. LNCS, vol. 1885. Springer, 2000, pp. 323-330.
3. H. Barringer, A. Goldberg, K. Havelund, and K. Sen, "Rule-Based Runtime Verification," in VMCAI'04, ser. LNCS, vol. 2937. Springer, 2004, pp. 44-57.
4. P. Avgustinov, J. Tibble, and O. de Moor, "Making trace monitors feasible," in Object Oriented Programming, Systems, Languages and Applications (OOPSLA'07). ACM, 2007, pp. 589-608.
5. M. Martin, V. B. Livshits, and M. S. Lam, "Finding application errors and security flaws using PQL: a program query language," in Object Oriented Programming, Systems, Languages and Applications (OOPSLA'07). ACM, 2005, pp. 365-383.
6. S. Goldsmith, R. O'Callahan, and A. Aiken, "Relational queries over program traces," in Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'05). ACM, 2005, pp. 385-402.
7. F. Chen and G. Roşu, "MOP: An efficient and generic runtime verification framework," in Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'07). ACM, 2007, pp. 569-588.
8. M. d'Amorim and K. Havelund, "Event-based runtime verification of Java programs," ACM SIGSOFT Software Engineering Notes, vol. 30, no. 4, pp. 1-7, 2005.
9. E. Bodden, "J-LO, a tool for runtime-checking temporal assertions," Master's thesis, RWTH Aachen University, 2005.
10. D. Bartetzko, C. Fischer, M. Moller, and H. Wehrheim, "Jass-Java with Assertions," in Runtime Verification, ser. ENTCS, vol. 55.2. Elsevier, 2001.
11. M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky, "Formally specified monitoring of temporal properties," in Europoean Conference on Real-Time Systems (ECRTS'99), 1999.
12. P. Abercrombie and M. Karaorman, "jContractor: Bytecode instrumentation techniques for implementing DBC in Java," in Runtime Verification, ser. ENTCS, vol. 70.4. Elsevier, 2002.
13. G. T. Leavens, K. R. M. Leino, E. Poll, C. Ruby, and B. Jacobs, "JML: notations and tools supporting detailed design in Java," in Object Oriented Programming, Systems, Languages and Applications (OOPSLA'00). ACM, 2000, pp. 105-106.
14. H. Lu and A. Forin, "The design and implementation of P2V, an architecture for zero-overhead online verification of software programs," Microsoft Research, Tech. Rep. MSRTR-2007-99, 2007.
15. M. Barnett, K. R. M. Leino, and W. Schulte, "The Spec# programming system: An overview," in CASSIS'04, ser. LNCS, vol. 3362. Springer, 2004, pp. 49-69.
16. H. Barringer, D. Rydeheard, and K. Havelund, "Rule systems for run-time monitoring: from EAGLE to RULER," J. Logic Computation, November 2008.
17. F. Chen, P. Meredith, D. Jin, and G. Roşu, "Efficient formalism-independent monitoring of parametric properties," in Automated Software Engineering (ASE'09). IEEE, 2009, pp. 383-394.
18. D. Jin, P. O. Meredith, D. Griffith, and G. Roşu, "Garbage collection for monitoring parametric properties," in Programming Language Design and Implementation (PLDI'11). ACM, 2011, pp. 415-424.
19. P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Roşu, "An overview of the MOP runtime verification framework," International Journal on Software Techniques for Technology Transfer, 2011.
20. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold, "An overview of AspectJ," in European Conference on Object Oriented Programming (ECOOP'01), ser. LNCS, vol. 2072. Springer, 2001, pp. 327-353.
21. P. Meredith, D. Jin, F. Chen, and G. Roşu, "Efficient monitoring of parametric context-free patterns," in Automated Software Engineering (ASE'08). IEEE, 2008, pp. 148-157.
22. S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanović, T. VanDrunen, D. von Dincklage, and B. Wiedermann, "The DaCapo benchmarks: Java benchmarking development and analysis," in Object-Oriented Programming, Systems, Languages and Applications (OOPSLA'06). ACM, 2006, pp. 169-190.