Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring

Shinhae Kim, Saikat Dutta 0001, Owolabi Legunsen. Faster Runtime Verification during Testing via Feedback-Guided Selective Monitoring. In 40th IEEE/ACM International Conference on Automated Software Engineering, ASE 2025, Seoul, Korea, Republic of, November 16-20, 2025. pages 2286-2298, IEEE, 2025. [doi]

Abstract

Abstract is missing.