Parametric Trace Slicing and Monitoring-Reference-Cited by-同舟云学术

Parametric Trace Slicing and Monitoring

Published:2009 Issue: Volume: Page:246-261
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Chen Feng,Roşu Grigore

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-00768-2_23

Reference16 articles.

1. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhotak, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: OOPSLA 2005. ACM, New York (2005)

2. AspectJ, http://eclipse.org/aspectj/

3. Avgustinov, P., Tibble, J., de Moor, O.: Making trace monitoring feasible. In: OOPSLA 2007. ACM, New York (2007)

4. Lecture Notes in Computer Science;H. Barringer,2004

5. Lecture Notes in Computer Science;H. Barringer,2007

Cited by 72 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Runtime verification on abstract finite state models;Journal of Systems and Software;2024-10

2. An In-Depth Study of Runtime Verification Overheads during Software Testing;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Early detection of temporal constraint violations;Information and Computation;2024-01

4. Dynamic Program Analysis with Flexible Instrumentation and Complex Event Processing;2023 IEEE 34th International Symposium on Software Reliability Engineering (ISSRE);2023-10-09

5. Runtime Verification of Crypto APIs: An Empirical Study;IEEE Transactions on Software Engineering;2023-10-01