Owolabi Legunsen

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 30

Top Topics

Oriented Programming

Mutation Operator

Empirical Evaluation

Top Venues

Publications

Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, Milos Gligoric
ExLi: An Inline-Test Generation Tool for Java. SIGSOFT FSE Companion (2024)
Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. SOSP (2023)
Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen
Extracting Inline Tests from Unit Tests. ISSTA (2023)
Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen
More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. ISSTA (2023)
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
Runtime Verification of Crypto APIs: An Empirical Study. IEEE Trans. Software Eng. 49 (10) (2023)
Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen
pytest-inline: An Inline Testing Tool for Python. ICSE Companion (2023)
Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. RV (2023)
Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen
pytest-inline: An Inline Testing Tool for Python. CoRR (2023)
Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric
Inline Tests. CoRR (2022)
Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric
Inline Tests. ASE (2022)
Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, August Shi
Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection. AST@ICSE (2022)
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE (2021)
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE (Companion Volume) (2021)
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. CoRR (2021)
Xudong Sun, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, Tianyin Xu
Testing Configuration Changes in Context to Prevent Production Failures. OSDI (2020)
Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, Tianyin Xu
Understanding and discovering software configuration dependencies in cloud and datacenter systems. ESEC/SIGSOFT FSE (2020)
Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim
Prioritizing Runtime Verification Violations. ICST (2020)
Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov
How effective are existing Java API specifications for finding bugs during runtime verification? Autom. Softw. Eng. 26 (4) (2019)
Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov
Techniques for Evolution-Aware Runtime Verification. ICST (2019)
Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric
A framework for checking regression test selection tools. ICSE (2019)
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen
Reflection-aware static regression test selection. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
Testing probabilistic programming systems. ESEC/SIGSOFT FSE (2018)
Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE (2018)
Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
Approximate Transformations as Mutation Operators. ICST (2018)
Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov
DeFlaker: automatically detecting flaky tests. ICSE (2018)
Owolabi Legunsen, August Shi, Darko Marinov
STARTS: STAtic regression test selection. ASE (2017)
Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. SIGSOFT FSE (2016)
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST (2016)
Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov
An extensive study of static regression test selection in modern software evolution. SIGSOFT FSE (2016)
Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov
How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. ASE (2016)
Owolabi Legunsen, Darko Marinov, Grigore Rosu
Evolution-Aware Monitoring-Oriented Programming. ICSE (2) (2015)
Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov
An empirical evaluation and comparison of manual and automated test selection. ASE (2014)
Lawrence Chung, Tom Hill, Owolabi Legunsen, Zhenzhou Sun, Adip Dsouza, Sam Supakkul
A goal-oriented simulation approach for obtaining good private cloud-based system architectures. J. Syst. Softw. 86 (9) (2013)