MOP: An Efficient and Generic Runtime Verification Framework (2007)

by Feng Chen , Grigore Rosu
Citations:75 - 9 self

Documents Related by Co-Citation

109 Adding Trace Matching with Free Variables to AspectJ – Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Oege De Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble - 2005
235 The DaCapo benchmarks: Java benchmarking development and analysis – 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, B Wiedermann - 2006
41 A staged static program analysis to improve the performance of runtime monitoring – Eric Bodden, Laurie Hendren - 2007
100 Rule-Based Runtime Verification – Howard Barringer, et al.
52 Temporal Assertions using AspectJ – Volker Stolz, Eric Bodden - 2005
125 Monitoring Java programs with Java PathExplorer – K Havelund, G Rosu - 2001
45 Towards monitoring-oriented programming: A paradigm combining specification and implementation – Feng Chen - 2003
35 Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time – Eric Bodden, Patrick Lam, Laurie Hendren - 2008
123 Finding Application Errors and Security Flaws Using PQL: a Program Query Language – Michael Martin, Benjamin Livshits, Monica S. Lam - 2005
30 Making trace monitors feasible – Pavel Avgustinov, Julian Tibble, Oege Moor - 2007
289 Mining Specifications – Glenn Ammons, Rastislav Bodik, James R. Larus - 2002
15 Dependent Advice: A General Approach to Optimizing History-based Aspects (Extended version – Eric Bodden, Feng Chen - 2008
1080 An Overview of AspectJ – Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, William G. Griswold - 2001
54 Relational Queries Over Program Traces – Simon Goldsmith, et al. - 2005
30 Event-based runtime verification of Java programs – M D’Amorim, K Havelund - 2005
121 Scaling Java points-to analysis using Spark – Ondrej Lhoták, Laurie Hendren - 2003
294 Patterns in Property Specifications for Finite-State Verification – Matthew B. Dwyer, George S. Avrunin, James C. Corbett - 1999
22 J-LO—A tool for runtime-checking temporal assertions. Diploma thesis – E Bodden - 2005
92 abc: An extensible AspectJ compiler – Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Jennifer Lhoták, Ondřej Lhoták, Oege De Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble - 2004