Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Owolabi Legunsen

h-index 20 View on Semantic Scholar

We have 3 of 48 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

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 · 0 citations
Book Open access Jul 2026

PyMOP: A Runtime Verification Tool for Python

PyMOP is presented, a generic, extensible, and more efficient Python RV tool that supports five logics, implements five monitoring algorithms, ships with 81 specs, and supports three instrumentation strategies that help find hundreds of bugs by monitoring test executions against formal specifications.

Zhuohan Shen, Mohammed Yaseen, Kevin Guan et al. · 2 citations
Conference 2026

Automated Inline-Test Generation without Relying on Method-Level Unit Tests

Smack improves on ExLi by extending the reach and fault-detection ability of inline-test generation, and is also complementary to ExLi on target statements that ExLi can handle.

Pengyue Jiang, Yu Liu, An Guo et al. · 1 citation

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.