Tool Demo Paper Accepted at FSE 2026

Created in March 18, 2026

2026

Our paper “PyMOP: A Runtime Verification Tool for Python” was accepted in the Tool Demonstrations track at FSE 2026.

PyMOP is a generic and extensible runtime verification tool for Python. It supports five specification logics and five monitoring algorithms, and ships with 81 API specifications for Python itself and for widely used libraries.

We evaluated it on 48,112 unit tests from 847 GitHub projects. PyMOP runs up to 419× faster than recent dynamic analysis tools, and of the 156 bugs it found, 75 have already been fixed by the projects’ developers.

Joint work with Zhuohang Shen, Mohammed Yaseen, Kevin Guan, Marcelo d’Amorim, and Owolabi Legunsen. FSE 2026 takes place in Montreal in July 2026.