TY  - RPRT
TI  - A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation
AU  - Zhuohang Shen
AU  - Mohammed Yaseen
AU  - Denini Silva
AU  - Kevin Guan
AU  - Junho Lee
AU  - Marcelo d'Amorim
AU  - Owolabi Legunsen
PY  - 2025
UR  - https://arxiv.org/abs/2509.06324
ID  - 2509.06324
ER  -