|
35
|
A staged static program analysis to improve the performance of runtime monitoring
– Eric Bodden, Laurie Hendren
- 2007
|
|
93
|
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
|
|
54
|
MOP: An Efficient and Generic Runtime Verification Framework
– Feng Chen, Grigore Rosu
- 2007
|
|
170
|
The DaCapo Benchmarks: Java benchmarking development and analysis (extended version
– 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
|
|
77
|
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
|
|
44
|
Relational queries over program traces
– S Goldsmith, R O’Callahan, A Aiken
- 2005
|
|
99
|
Finding Application Errors and Security Flaws Using PQL: a Program Query Language
– Michael Martin, Benjamin Livshits, Monica S. Lam
- 2005
|
|
41
|
Towards monitoring-oriented programming: A paradigm combining specification and implementation
– Feng Chen
- 2003
|
|
114
|
Monitoring Java programs with Java PathExplorer
– K Havelund, G Ro¸su
- 2001
|
|
23
|
Association Aspects
– Kouhei Sakurai, Hidehiko Masuhara, Naoyasu Ubayashi
- 2004
|
|
13
|
Efficient trace monitoring
– Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Laurie Hendren, Oege De Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble, Mathieu Verbaere
- 2006
|
|
72
|
A Compilation and Optimization Model for Aspect-Oriented Programs
– Hidehiko Masuhara, Gregor Kiczales, Chris Dutchyn
- 2003
|
|
44
|
Temporal Assertions using AspectJ
– Volker Stolz, Eric Bodden
- 2005
|
|
55
|
Refinement-based context-sensitive points-to analysis for Java
– Manu Sridharan, Ras Bodik
- 2006
|
|
11
|
Dependent Advice: A General Approach to Optimizing History-based Aspects (Extended version
– Eric Bodden, Feng Chen
- 2008
|
|
85
|
Rule-Based Runtime Verification
– Howard Barringer, et al.
|
|
189
|
Typestate: A programming language concept for enhancing software reliability
– Robert E Strom, Shaula Yemini
- 1986
|
|
32
|
Java-MaC: A run-time assurance approach for Java programs
– Moonzoo Kim, Sampath Kannan, Insup Lee
|
|
4
|
a tool for runtime-checking temporal assertions
– J-LO
- 2005
|
