@misc{indiciaeca6f27b39eaf, title = {A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation}, author = {Zhuohang Shen and Mohammed Yaseen and Denini Silva and Kevin Guan and Junho Lee and Marcelo d'Amorim and Owolabi Legunsen}, year = {2025}, url = {https://arxiv.org/abs/2509.06324}, note = {Source identifier: 2509.06324} }