A goal-oriented simulation approach for obtaining good private cloud-based system architectures. - Lawrence Chung; Tom Hill; Owolabi Legunsen; Zhenzhou Sun; Adip Dsouza; Sam Supakkul (J. Syst. Softw., 2013)

An empirical evaluation and comparison of manual and automated test selection. - Milos Gligoric 001; Stas Negara; Owolabi Legunsen; Darko Marinov (ASE, 2014)

Evolution-Aware Monitoring-Oriented Programming. - Owolabi Legunsen; Darko Marinov; Grigore Rosu (ICSE (2), 2015)

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. - August Shi; Alex Gyori; Owolabi Legunsen; Darko Marinov (ICST, 2016)

How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. - Owolabi Legunsen; Wajih Ul Hassan; Xinyue Xu; Grigore Rosu; Darko Marinov (ASE, 2016)

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. - Alex Gyori; Ben Lambeth; August Shi; Owolabi Legunsen; Darko Marinov (SIGSOFT FSE, 2016)

An extensive study of static regression test selection in modern software evolution. - Owolabi Legunsen; Farah Hariri; August Shi; Yafeng Lu; Lingming Zhang 001; Darko Marinov (SIGSOFT FSE, 2016)

STARTS: STAtic regression test selection. - Owolabi Legunsen; August Shi; Darko Marinov (ASE, 2017)

DeFlaker: automatically detecting flaky tests. - Jonathan Bell 001; Owolabi Legunsen; Michael Hilton; Lamyaa Eloussi; Tifany Yung; Darko Marinov (ICSE, 2018)

Approximate Transformations as Mutation Operators. - Farah Hariri; August Shi; Owolabi Legunsen; Milos Gligoric 001; Sarfraz Khurshid; Sasa Misailovic (ICST, 2018)

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. - Alex Gyori; Owolabi Legunsen; Farah Hariri; Darko Marinov (ISSRE, 2018)

Testing probabilistic programming systems. - Saikat Dutta 001; Owolabi Legunsen; Zixin Huang; Sasa Misailovic (ESEC/SIGSOFT FSE, 2018)

A framework for checking regression test selection tools. - Chenguang Zhu 002; Owolabi Legunsen; August Shi; Milos Gligoric 001 (ICSE, 2019)

Techniques for Evolution-Aware Runtime Verification. - Owolabi Legunsen; Yi Zhang; Milica Hadzi-Tanovic; Grigore Rosu; Darko Marinov (ICST, 2019)

How effective are existing Java API specifications for finding bugs during runtime verification? - Owolabi Legunsen; Nader Al Awar; Xinyue Xu; Wajih Ul Hassan; Grigore Rosu; Darko Marinov (Autom. Softw. Eng., 2019)

Reflection-aware static regression test selection. - August Shi; Milica Hadzi-Tanovic; Lingming Zhang 001; Darko Marinov; Owolabi Legunsen (Proc. ACM Program. Lang., 2019)

Evolution-aware runtime verification - Owolabi Legunsen (2019)

Prioritizing Runtime Verification Violations. - Breno Miranda; Igor Lima; Owolabi Legunsen; Marcelo d'Amorim (ICST, 2020)

Testing Configuration Changes in Context to Prevent Production Failures. - Xudong Sun 013; Runxiang Cheng; Jianyan Chen; Elaine Ang; Owolabi Legunsen; Tianyin Xu (OSDI, 2020)

Understanding and discovering software configuration dependencies in cloud and datacenter systems. - Qingrong Chen; Teng Wang 004; Owolabi Legunsen; Shanshan Li 001; Tianyin Xu (ESEC/SIGSOFT FSE, 2020)

An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. - Yuanliang Zhang; Haochen He; Owolabi Legunsen; Shanshan Li 001; Wei Dong 006; Tianyin Xu (ICSE, 2021)

Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection. - Jiyang Zhang 003; Yu Liu 079; Milos Gligoric 001; Owolabi Legunsen; August Shi (AST@ICSE, 2022)

Inline Tests. - Yu Liu 079; Pengyu Nie 001; Owolabi Legunsen; Milos Gligoric 001 (ASE, 2022)

pytest-inline: An Inline Testing Tool for Python. - Yu Liu 079; Zachary Thurston; Alan Han; Pengyu Nie 001; Milos Gligoric 001; Owolabi Legunsen (ICSE Companion, 2023)

More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. - Yu Liu 079; Jiyang Zhang 003; Pengyu Nie 001; Milos Gligoric 001; Owolabi Legunsen (ISSTA, 2023)

Extracting Inline Tests from Unit Tests. - Yu Liu 079; Pengyu Nie 001; Anna Guo; Milos Gligoric 001; Owolabi Legunsen (ISSTA, 2023)

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. - Ayaka Yorihiro; Pengyue Jiang; Valeria Marqués; Benjamin Carleton; Owolabi Legunsen (RV, 2023)

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. - Jiawei Tyler Gu; Xudong Sun 013; Wentao Zhang; Yuxuan Jiang; Chen Wang 039; Mandana Vaziri; Owolabi Legunsen; Tianyin Xu (SOSP, 2023)

Runtime Verification of Crypto APIs: An Empirical Study. - Adriano Torres; Pedro Henrique Teixeira Costa; Luis Henrique Vieira Amaral; Jonata Pastro; Rodrigo Bonifácio; Marcelo d'Amorim; Owolabi Legunsen; Eric Bodden; Edna Dias Canedo (IEEE Trans. Software Eng., 2023)

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

ExLi: An Inline-Test Generation Tool for Java. - Yu Liu 079; Aditya Thimmaiah; Owolabi Legunsen; Milos Gligoric 001 (SIGSOFT FSE Companion, 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)