Author:
Jakse Raphael,Falcone Ylies,Mehaut Jean-Francois,Pouget Kevin
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Residual Runtime Verification via Reachability Analysis;Lecture Notes in Computer Science;2023
3. Capturing program models with BISM;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
4. Interactive and targeted runtime verification using a debugger-based architecture;Journal of Systems Architecture;2021-05
5. A taxonomy for classifying runtime verification tools;International Journal on Software Tools for Technology Transfer;2021-04