See this document in CiteSeerX!

Efficient Trace Monitoring (2006)  (Make Corrections)  
Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhotak, Laurie Hendren, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam



  Home/Search   Context   Related

 
View or download:
abc.comlab.ox.ac.uk/doc...abc20061.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  abc.comlab.ox.ac.uk...techreports (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: A trace monitor observes the sequence of actions in a software system, and when it detects that this sequence matches a given pattern, it executes some extra code of its own. Trace monitors are often specified declaratively using patterns based on regular expressions, context free grammars or logical formulae, and then the trace monitor implementation is generated from the specification. Trace monitors are particularly useful for runtime verification, and many variations have been proposed. ... (Update)

Active bibliography (related documents):   More   All
3.8:   Adding Trace Matching with Free Variables to AspectJ - Chris Allan Pavel (2005)   (Correct)
1.1:   Measuring the Dynamic Behaviour of AspectJ Programs - Dufour, Goard, Hendren, de .. (2004)   (Correct)
0.6:   Motivation and Requirements for a Versatile AOP Kernel - Tanter, Noyé (2004)   (Correct)

Similar documents based on text:
6.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ avgustinov-efficient,
  author = "Pavel Avgustinov and Julian Tibble and Eric Bodden and Ondrej Lhotak and
    Laurie Hendren and Oege de Moor and Neil Ongkingco and Ganesh Sittampalam",
  title = "Efficient Trace Monitoring",
  url = "citeseer.ist.psu.edu/avgustinov06efficient.html" }
Citations (may not include all citations):
828   Model Checking - Clarke, Grumberg et al. - 1999
259   A survey of program slicing techniques - Tip - 1995
62   The SLAM project: debugging system software via static analy.. (context) - Ball, Rajamani - 2002
51   ESP: path-sensitive program verification in polynomial time - Das, Lerner et al. - 2002
47   A system and language for building system-specific (context) - Hallem, Chelf et al. - 2002
35   A formal definition of crosscuts - Douence, Motelet et al. - 2001
17   A framework for the detection and resolution of aspect inter.. (context) - Douence, Fradet et al. - 2002
14   A compilation and optimization model for aspect-oriented pro.. (context) - Masuhara, Kiczales et al. - 2003
13   Rule-based runtime verification - Barringer, Goldberg et al. - 2003
12   Advances in Computers (context) - Binkley, Gallagher et al. - 1996
10   reuse and interaction analysis of stateful aspects (context) - Douence, Fradet et al. - 2004
10   Dynamic metrics for Java (context) - Dufour, Driesen et al. - 2003
9   Advice weaving in AspectJ (context) - Hilsdale, Hugunin - 2004
9   Navigating and querying code without getting lost (context) - Janzen, de Volder - 2003
8   HigherOrder and Symbolic Computation (context) - Hatcli, Dwyer et al. - 2000
7   AspectJ in Action (context) - Laddad - 2003
6   Implementing protocols via declarative event patterns (context) - Walker, Viggers - 2004
5   The AspectJ home page (context) - Home - 2003
5   Finding application errors using PQL: a program query langua.. (context) - Martin, Livshits et al. - 2005
5   An expressive aspect language for system applications with a.. (context) - Douence, Fritz et al. - 2005
4   Aske Simon Christensen (context) - Avgustinov - 2005
4   Trace-based aspects (context) - Douence, Fradet et al. - 2004
4   Relational queries over program traces (context) - Goldsmith, O'Callahan et al. - 2005
4   tu-darmstadt (context) - project, www et al. - 2006
3   Temporal Assertions using AspectJ - Stolz, Bodden - 2005
3   Adding Trace Matching with Free Variables to AspectJ - Allan, Avgustinov et al. - 2005
2   Certificate revocations performance simulation project - Arnes - 2000
2   Dynamic business rules for web service composition (context) - Cibran, Verheecke - 2005
2   Mara Augustina Cibran (context) - Vanderperren, Suve - 2005
2   An application of dynamic AOP to medical image generation (context) - Fritz, Segura et al. - 2005
2   Quantifying over dynamic properties of program execution (context) - Bockisch, Mezini et al. - 2005
1   Temporal aspects as security automata (context) - Hui, Riely - 2006
1   Event-based runtime verification of java programs (context) - d'Amorim, Havelund - 2005
1   cient temporal pointcuts through dynamic advice deployment (context) - Bodden, Stolz - 2006
1   Available from httpaspectbench (context) - benchmarks, http et al. - 2006
1   LO - A tool for runtime-checking temporal assertions (context) - Bodden - 2005
1   Description and download httpwww (context) - CFlowLevel, abc et al. - 2005
1   Available from httpsourceforge (context) - JHotDraw, http et al. - 2004
1   and Marius Marin (context) - van Deursen, Moonen - 2006
1   Uniform genericity for aspect languages (context) - Rho, Kniesel - 2004
http://aspectbench.org

Documents on the same site (http://abc.comlab.ox.ac.uk/techreports):   More
The abc Group - Adding Open Modules (2005)   (Correct)
The abc Group - Building The Abc (2004)   (Correct)
The abc Group - Adding Trace Matching (2005)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC