Owolabi Legunsen

42 papers A* 11A 8B 1C 1Journal 10Unranked 9

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