Owolabi Legunsen Owolabi Legunsen
Assistant Professor
442A Gates Hall
Department of Computer Science
Cornell University
Ithaca, NY 14850, USA
Email: legunsen@cornell.edu
I am part of Cornell's growing Software Engineering Group. I am broadly interested in research on Software Engineering and Applied Formal Methods, with a focus on Software Testing and Runtime Verification.
Prospective Students and Postdocs

I am *always* seeking bright, self-motivated PhD students and Postdocs to work with on projects related to my research interests. If you are interested to work with me, email me or drop by my office.

Publications
  1. Instrumentation-Driven Evolution-Aware Runtime Verification
    Kevin Guan and Owolabi Legunsen
    47th IEEE/ACM International Conference on Software Engineering
    (ICSE 2025), pages to-appear, Ottawa, Canada, April-May 2025.

  2. An In-depth Study of Runtime Verification Overheads during Software Testing
    Kevin Guan and Owolabi Legunsen
    33rd ACM SIGSOFT International Symposium on Software Testing and Analysis
    (ISSTA 2024), pages 1798-1810, Vienna, Austria, September 2024.
    (This paper won an ACM SIGSOFT Distinguished Paper Award)

  3. ExLi: An Inline-Test Generation Tool for Java
    Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, and Milos Gligoric
    32nd ACM International Conference on the Foundations of Software Engineering, Tool Demonstrations Track
    (FSE Demo 2024), pages 652-656, Porto de Galinhas, Brazil, July 2024.

  4. Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
    Jiawei Tyler Gu, Xudong Sun, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, and Tianyin Xu
    29th ACM Symposium on Operating Systems Principles
    (SOSP 2023), pages 96-112, Koblenz, Germany, October 2023. [webpage] [artifacts]

  5. eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
    Ayaka Yorihiro, Pengyue Jiang, Valeria Marques, Benjamin Carleton, and Owolabi Legunsen
    23rd International Conference on Runtime Verification
    (RV 2023), pages 363-375, Thessaloniki, Greece, October 2023. [webpage]

  6. Runtime Verification of Crypto APIs: An Empirical Study
    Adriano Torres, Pedro Costa, Luis Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d’Amorim, Owolabi Legunsen, Eric Bodden, and Edna Dias Canedo
    Transactions on Software Engineering
    (TSE 2023), pages 4510-4525, 2023.

  7. More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes
    Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, and Owolabi Legunsen
    32nd International Symposium on Software Testing and Analysis
    (ISSTA 2023), pages 664-676, Seattle, USA, July 2023.
    (This paper won an ACM SIGSOFT Distinguished Paper Award)

  8. Extracting Inline Tests from Unit Tests
    Yu Liu, Pengyu Nie, Ana Guo, Milos Gligoric, and Owolabi Legunsen
    32nd International Symposium on Software Testing and Analysis
    (ISSTA 2023), pages 1458-1470, Seattle, USA, July 2023.

  9. pytest-inline: An Inline Testing Tool for Python
    Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, and Owolabi Legunsen
    45th International Conference on Software Engineering, Tool Demonstrations Track
    (ICSE Demo 2023), pages 161-164, Melbourne, Australia, May 2023.

  10. Inline Tests
    Yu Liu, Pengyu Nie, Owolabi Legunsen, and Milos Gligoric
    37th International Conference on Automated Software Engineering
    (ASE 2022), pages 1--13, Oakland Center, MI, USA, October 2022.

  11. Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection
    Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, and August Shi
    3rd International Conference on Automation of Software Test
    (AST 2022), pages 17--28, Virtual Conference, May 2022.

  12. An Evolutionary Study of Configuration Design and Implementation in Cloud Systems
    Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, and Tianyin Xu
    43rd International Conference on Software Engineering
    (ICSE 2021), pages 188--200, Virtual Conference, May 2021 [webpage]

  13. Testing Configuration Changes in Context to Prevent Production Failures
    Xudong Sun*, Runxiang Cheng*, Jianyan Chen, Elaine Ang, Owolabi Legunsen, and Tianyin Xu (*co-first authors)
    14th USENIX Symposium on Operating Systems Design and Implementation
    (OSDI 2020), pages 735-751, Virtual Conference, November 2020 [webpage]

  14. 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 725-737, Virtual Conference, November 2020 [webpage]

  15. 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 297-308, Virtual Conference, Sept/Oct 2020 [webpage]

  16. Evolution-Aware Runtime Verification
    Owolabi Legunsen
    PhD Thesis, University of Illinois at Urbana-Champaign, Urbana-Champaign, IL, December 2019

  17. 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.)

  18. 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]

  19. 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

  20. 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]

  21. 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]

  22. 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

  23. 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]

  24. 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

  25. 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]

  26. 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]

  27. 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]

  28. 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.)

  29. 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

  30. 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]

  31. 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]

  32. 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)