TraceContract: A Scala DSL for Trace Analysis-Reference-Cited by-同舟云学术

TraceContract: A Scala DSL for Trace Analysis

Published:2011 Issue: Volume: Page:57-72
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Barringer Howard,Havelund Klaus

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-21437-0_7

Reference16 articles.

1. NASA’s LADEE (Lunar Atmosphere and Dust Environment Explorer) mission, http://www.nasa.gov/mission_pages/LADEE/main

2. The Scala programming language, http://www.scala-lang.org

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

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

5. Barringer, H., Groce, A., Havelund, K., Smith, M.: Formal analysis of log files. Journal of Aerospace Computing, Information, and Communication 7(11), 365–390 (2010)

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

1. Operational and Declarative Runtime Verification (Keynote);Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13

2. The complexity of evaluating nfer;Science of Computer Programming;2024-01

3. TP-DejaVu: Combining Operational and Declarative Runtime Verification;Lecture Notes in Computer Science;2023-12-30

4. Concurrent runtime verification of data rich events;International Journal on Software Tools for Technology Transfer;2023-06-26

5. Programming event monitors;International Journal on Software Tools for Technology Transfer;2023-06-22