Biography
My research interest are in Software Engineering and Applied Formal Methods, with a focus on Software Testing and Runtime Verification.
Research Interests
Programming Languages, Systems and Networking
Selected Publications
- Testing Configuration Changes in Context to Prevent Production Failures
Xudong Sun, Runxiang Cheng, Jianyan Chen, Ran Ang, Owolabi Legunsen, and Tianyin Xu
14th USENIX Symposium on Operating Systems Design and Implementation
(OSDI 2020), pages to-appear, Banff, Alberta, Canada, November 2020
- Understanding and Discovering Software Configuration Dependencies in Cloud and Data-center Systems
Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, and Tianyin Xu
28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
(ESEC/FSE 2020), pages to-appear, Sacramento, CA, November 2020
- Prioritizing Runtime Verification Violations
Breno Miranda, Igor Lima, Owolabi Legunsen, and Marcelo d'Amorim
13th IEEE International Conference on Software Testing, Verification and Validation
(ICST 2020), pages to-appear, Porto, Portugal, March 2020
- Evolution-Aware Runtime Verification
Owolabi Legunsen
PhD Thesis, University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, December 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 Roşu, Darko Marinov
Automated Software Engineering Journal
(JASE 2019), 26(4): 795-837, December 2019
(This is an invited journal extension of our ASE 2016 paper.)
- Reflection-Aware Static Regression Test Selection
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, and Owolabi Legunsen
34th ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications
(OOPSLA 2019), pages 187:1-187:29, Athens, Greece, October 2019 [slides]
- A Framework for Checking Regression Test Selection Tools
Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric
41st ACM/IEEE International Conference on Software Engineering
(ICSE 2019), pages 430-441, Montreal, Canada, May 2019
- Techniques for Evolution-Aware Runtime Verification
Owolabi Legunsen, Yi Zhang, Milica Hadži-Tanovic, Grigore Rosu, Darko Marinov
12th IEEE International Conference on Software Testing, Verification and Validation
(ICST 2019), pages 312-322, Xi'an, China, April 2019 [slides]
- Testing Probabilistic Programming Systems
Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
(ESEC/FSE 2018), pages 574-586, Lake Buena Vista, FL, November 2018 [webpage]
- Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem
Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov
29th IEEE International Symposium on Software Reliability Engineering
(ISSRE 2018), pages 112--122, Memphis, TN, October 2018
- DeFlaker: Automatically Detecting Flaky Tests
Jon Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov
40th International Conference on Software Engineering
(ICSE 2018), pages 433-444, Gothenburg, Sweden, May 2018 [webpage]
- Approximate Transformations as Mutation Operators
Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic
11th IEEE International Conference on Software Testing, Verification and Validation
(ICST 2018), pages 285-296, Vasteras, Sweden, April 2018
- STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, Darko Marinov
32nd IEEE/ACM International Conference on Automated Software Engineering, Tool Demonstrations Track
(ASE Demo 2017), pages 949-954, Urbana-Champaign, IL, October-November 2017 [slides] [webpage]
- An Extensive Study of Static Regression Test Selection in Modern Software Evolution
Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering
(FSE 2016), pages 583-594, Seattle, WA, November 2016 [slides]
- NonDex: A tool for detecting and debugging wrong assumptions on Java API specifications
Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov
24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Demo Papers
(FSE Demo 2016), pages 993-997, Seattle, WA, November 2016 [webpage]
- 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
31st IEEE/ACM Conference on Automated Software Engineering
(ASE 2016), pages 602-613, Singapore, Singapore, September 2016 [slides] [data]
(This paper won an ACM SIGSOFT Distinguished Paper Award and was invited for journal submission.)
- Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov
9th IEEE International Conference on Software Testing, Verification and Validation
(ICST 2016), pages 80-90, Chicago, IL, April 2016
- Evolution-Aware Monitoring-Oriented Programming
Owolabi Legunsen, Darko Marinov, Grigore Rosu
The 37th International Conference on Software Engineering (NIER Track)
(ICSE NIER 2015), pages 615-618, Florence, Italy, May 2015 [slides]
- An Empirical Evaluation and Comparison of Manual and Automated Test Selection
Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov
29th IEEE/ACM Conference on Automated Software Engineering
(ASE 2014), pages 361-372, Vasteras, Sweden, September 2014 [slides]
- 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
Journal of Systems and Software 86(9): 2242-2262 (2013)
Education
CS Field Member ; Ph.D., University of Illinois at Urbana-Champaign, 2019