Publisher
Springer Berlin Heidelberg
Reference13 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. In: OOPSLA, pp. 345–364 (October 2005)
2. Bodden, E.: J-LO - A tool for runtime-checking temporal assertions. Master’s thesis, RWTH Aachen University (November 2005)
3. Chen, F., Roşu, G.: MOP: an efficient and generic runtime verification framework. In: OOPSLA, pp. 569–588 (October 2007)
4. Maoz, S., Harel, D.: From multi-modal scenarios to code: compiling LSCs into AspectJ. In: Symposium on the Foundations of Software Engineering (FSE), pp. 219–230 (November 2006)
5. Krüger, I.H., Lee, G., Meisinger, M.: Automating software architecture exploration with M2Aspects. In: Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM), pp. 51–58 (May 2006)
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. 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
2. RVprio: A tool for prioritizing runtime verification violations;Software Testing, Verification and Reliability;2022-03-07
3. VrFy: Verification of Formal Requirements using Generic Traces;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12
4. A Flight Rule Checker for the LADEE Lunar Spacecraft;Theoretical Aspects of Computing – ICTAC 2020;2020
5. How effective are existing Java API specifications for finding bugs during runtime verification?;Automated Software Engineering;2019-11-21