Publisher
Springer Nature Switzerland
Reference19 articles.
1. Lecture Notes in Computer Science;H Barringer,2012
2. Bartocci, E., et al.: First international competition on runtime verification: rules, benchmarks, tools, and final results of CRV 2014. Int. J. Softw. Tools Technol. Transf. 21(1), 31–70 (2019). https://www.gitlab.inria.fr/crv14/benchmarks/
3. Lecture Notes in Computer Science;E Bartocci,2018
4. Bruneton, E., Lenglet, R., Coupaye, T.: ASM: a code manipulation tool to implement adaptable systems. In: Adaptable and Extensible Component Systems (2002). https://www.asm.ow2.io
5. Lecture Notes in Computer Science;F Chen,2009
Cited by
1 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