|
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
|
|
35
|
A staged static program analysis to improve the performance of runtime monitoring
– Eric Bodden, Laurie Hendren
- 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
|
|
22
|
Making trace monitors feasible
– Pavel Avgustinov, Julian Tibble, Oege Moor
- 2007
|
|
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
|
|
85
|
Rule-Based Runtime Verification
– Howard Barringer, et al.
|
|
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
|
|
22
|
Event-based runtime verification of java programs
– M d’Amorim, K Havelund
- 2005
|
|
58
|
Modular typestate checking of aliased objects
– K Bierhoff, J Aldrich
- 2007
|
|
44
|
Temporal Assertions using AspectJ
– Volker Stolz, Eric Bodden
- 2005
|
|
11
|
Dependent Advice: A General Approach to Optimizing History-based Aspects (Extended version
– Eric Bodden, Feng Chen
- 2008
|
|
28
|
Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time
– Eric Bodden, Patrick Lam, Laurie Hendren
- 2008
|
|
44
|
Relational queries over program traces
– S Goldsmith, R O’Callahan, A Aiken
- 2005
|
|
105
|
Scaling Java points-to analysis using Spark
– Ondrej Lhoták, Laurie Hendren
- 2003
|
|
100
|
Typestates for Objects
– Robert Deline, Manuel Fähndrich
- 2004
|
|
258
|
Patterns in Property Specifications for Finite-State Verification
– Matthew B. Dwyer, George S. Avrunin, James C. Corbett
- 1999
|
|
478
|
Eraser: a dynamic data race detector for multithreaded programs
– Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson
- 1997
|
