Efficient formalism-independent monitoring of parametric properties

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 383-394

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

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

Author keywords

[No Author keywords available]

Indexed keywords

EFFICIENT MONITORING; MONITORING APPROACH; MONITORING CODE; NON-TRIVIAL; OBJECT-ORIENTED SYSTEM; RUNTIMES; STATIC KNOWLEDGE;

COMPUTER SOFTWARE; OPTIMIZATION; SPECIFICATIONS;

MONITORING;

EID: 77952096553     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.50     Document Type: Conference Paper

References (17)

1. K. Havelund and G. Roşu, "Monitoring Java programs with Java PathExplorer," in Runtime Verification (RV'01), ser. ENTCS, vol.55, no.2, 2001.
2. "Temporal Rover," http://www.time-rover.com.
3. F. Chen and G. Roşu, "Towards monitoring-oriented programming: A paradigm combining specification and implementation," in Runtime Verification (RV'03), ser. ENTCS, vol.89, no.2, 2003.
4. H. Barringer, A. Goldberg, K. Havelund, and K. Sen, "Rule-based runtime verification," in Verification, Model Checking, and Abstract Interpretation (VMCAI'04), ser. LNCS, vol.2937, 2004.
5. C. Allan, P. Avgustinov, A. S. Christensen, L. J. Hendren, S. Kuzins, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble, "Adding trace matching with free variables to AspectJ," in OOPSLA'05, 2005.
6. P. Avgustinov, J. Tibble, and O. de Moor, "Making trace monitors feasible," in OOPSLA'07, 2007.
7. M.Martin, V. B. Livshits, and M. S. Lam, "Finding application errors and security flaws using PQL: a program query language," in OOPSLA'07, 2007.
8. S. Goldsmith, R. O'Callahan, and A. Aiken, "Relational queries over program traces," in OOPSLA'05, 2005.
9. F. Chen and G. Roşu, "MOP: An efficient and generic runtime verification framework," in OOPSLA'07, 2007.
10. F. Chen, P. O. Meredith, D. Jin, and G. Roşu, "Efficient monitoring of parametric context-free patterns," Department of Computer Science, University of Illinois at Urbana-Champaign, Tech. Rep. 2142-11787, May 2009. [Online]. Available: http://hdl.handle.net/2142/11787
11. F. Chen and G. Roşu, "Parametric trace slicing and monitoring," in TACAS'09, ser. LNCS, vol.5505, 2009.
12. E. Bodden, F. Chen, and G. Roşu, "Dependent advice: A general approach to optimizing history-based aspects," in AOSD'09, 2009.
13. P. Meredith, D. Jin, F. Chen, and G. Roşu, "Efficient monitoring of parametric context-free patterns," in ASE '08, 2008.
14. S. M. Blackburn and et al., "The DaCapo benchmarks: Java benchmarking development and analysis," in OOPSLA'06, 2006.
15. "Soot website," http://www.sable.mcgill.ca/soot/.
16. "Javamop experiments," http://fsl.cs.uiuc.edu/index.php/JavaMOP Experiment Enable Sets.
17. E. Bodden, L. Hendren, and O. Lhoták, "A staged static program analysis to improve the performance of runtime monitoring," in ECOOP'07, 2007.