Author:
Falcone Yliès,Nazarpour Hosein,Jaber Mohamad,Bozga Marius,Bensalem Saddek
Publisher
Springer International Publishing
Reference30 articles.
1. RVDist: Runtime Verification for Distributed Component-Based Systems.
https://gitlab.inria.fr/monitoring/rv-dist-pub
2. Lecture Notes in Computer Science;A Agarwal,2010
3. Artho, C., et al.: Model-based API testing of apache zookeeper. In: 2017 IEEE International Conference on Software Testing, Verification and Validation, pp. 288–298 (2017)
4. 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., 1–40 (2017)
5. Lecture Notes in Computer Science;E Bartocci,2018
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献