Author:
Bartocci Ezio,Bonakdarpour Borzoo,Falcone Yliès
Publisher
Springer International Publishing
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Opportunistic Monitoring of Multithreaded Programs;Fundamental Approaches to Software Engineering;2023
2. TOOLympics I: Competition on software testing;International Journal on Software Tools for Technology Transfer;2021-05-06
3. Scalable online first-order monitoring;International Journal on Software Tools for Technology Transfer;2021-04
4. A taxonomy for classifying runtime verification tools;International Journal on Software Tools for Technology Transfer;2021-04
5. JUniVerse;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08