Author:
Arnold Matthew,Vechev Martin,Yahav Eran
Cited by
45 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. Towards Life-long Software Self-validation in Production;Proceedings of the 15th Asia-Pacific Symposium on Internetware;2024-07-24
3. RVprio: A tool for prioritizing runtime verification violations;Software Testing, Verification and Reliability;2022-03-07
4. WATCHER: in-situ failure diagnosis;Proceedings of the ACM on Programming Languages;2020-11-13
5. METIS: Resource and Context-Aware Monitoring of Finite State Properties;Runtime Verification;2018