Review
Open access
Oct 2026
A Closer Look at the Use of Reinforcement Learning for Speeding Up Runtime Verification of Software Tests (Experience Paper)
Valg aims to probabilistically monitor most unique traces—sequences of spec-related events like method calls—and monitor fewer redundant ones and has plenty of room to improve, but only two of 11 RL algorithms that are feasible for RV during continuous integration are feasible.
Shinhae Kim, Saikat Dutta, Owolabi Legunsen
· Proceedings of the ACM on So... · 0 citations