Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhotak, Laurie Hendren, Oege de Moor, Neil Ongkingco, Ganesh Sittampalam  Home/Search
Context
Related
| abc.comlab.ox.ac.uk/doc...abc20061.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: abc.comlab.ox.ac.uk...techreports (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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