Owolabi Legunsen

According to our database, Owolabi Legunsen authored at least 31 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ExLi: An Inline-Test Generation Tool for Java.

Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, Milos Gligoric

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

An In-Depth Study of Runtime Verification Overheads during Software Testing.

Kevin Guan, Owolabi Legunsen

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

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., October, 2023

Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management.

Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

eMOP: A Maven Plugin for Evolution-Aware Runtime Verification.

Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Extracting Inline Tests from Unit Tests.

Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes.

Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

pytest-inline: An Inline Testing Tool for Python.

Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023

2022

Inline Tests.

Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection.

Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, August Shi

Proceedings of the IEEE/ACM International Conference on Automation of Software Test, 2022

2021

An Evolutionary Study of Configuration Design and Implementation in Cloud Systems.

Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Understanding and discovering software configuration dependencies in cloud and datacenter systems.

Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, Tianyin Xu

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Testing Configuration Changes in Context to Prevent Production Failures.

Xudong Sun, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, Tianyin Xu

Proceedings of the 14th USENIX Symposium on Operating Systems Design and Implementation, 2020

Prioritizing Runtime Verification Violations.

Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2019

Evolution-aware runtime verification

Owolabi Legunsen

PhD thesis, 2019

Reflection-aware static regression test selection.

August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen

Proc. ACM Program. Lang., 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

Techniques for Evolution-Aware Runtime Verification.

Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

A framework for checking regression test selection tools.

Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric

Proceedings of the 41st International Conference on Software Engineering, 2019

2018

Testing probabilistic programming systems.

Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem.

Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Approximate Transformations as Mutation Operators.

Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

DeFlaker: automatically detecting flaky tests.

Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

STARTS: STAtic regression test selection.

Owolabi Legunsen, August Shi, Darko Marinov

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

An extensive study of static regression test selection in modern software evolution.

Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications.

Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 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

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications.

August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov

Proceedings of the 2016 IEEE International Conference on Software Testing, 2016

2015

Evolution-Aware Monitoring-Oriented Programming.

Owolabi Legunsen, Darko Marinov, Grigore Rosu

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

An empirical evaluation and comparison of manual and automated test selection.

Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

2013

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