A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation

Zhuohang Shen, Mohammed Yaseen, Denini Silva +4

Runtime verification (RV) now scales for testing thousands of open-source Java projects, helping find hundreds of bugs. The popular Python ecosystem could use such benefits. But, t…