An In-Depth Study of Runtime Verification Overheads during Software Testing. - Kevin Guan; Owolabi Legunsen (ISSTA, 2024)

Instrumentation-Driven Evolution-Aware Runtime Verification. - Kevin Guan; Owolabi Legunsen (ICSE, 2025)

TraceMOP: An Explicit-Trace Runtime Verification Tool for Java. - Kevin Guan; Owolabi Legunsen (SIGSOFT FSE Companion, 2025)

A Generic and Efficient Python Runtime Verification System and its Large-scale Evaluation. - Zhuohang Shen; Mohammed Yaseen; Denini Silva; Kevin Guan; Junho Lee; Marcelo d'Amorim; Owolabi Legunsen (CoRR, 2025)