Author:
Reger Giles,Havelund Klaus
Publisher
Springer International Publishing
Reference70 articles.
1. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. SIGPLAN Not. 40, 345–364 (2005)
2. Lecture Notes in Computer Science;R Alur,1990
3. Alur, R., Henzinger, T.A.: A really temporal logic. J. ACM 41(1), 181–203 (1994)
4. Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172–206 (2002)
5. AspectC++. Aspect oriented programming for C++ (2016). http://www.aspectc.org
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Runtime Verification in Real-Time with the Copilot Language: A Tutorial;Lecture Notes in Computer Science;2024-09-13
2. PathSpotter: Exploring Tested Paths to Discover Missing Tests;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
3. Test Polarity: Detecting Positive and Negative Tests;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
4. High-Integrity Runtime Verification;Computer;2024-04
5. Standard specification-based intrusion detection for hierarchical industrial control systems;Information Sciences;2024-02