Owolabi Legunsen

Owolabi Legunsen

Ph.D. Student

University of Illinois at Urbana-Champaign

Office: 4217 Siebel Center

Email: legunse2@illinois.edu

Address: 201 N. Goodwin Ave., Urbana, IL 61801

I am on the academic job market for 2019. Here's my CV, Research Statement, and Teaching Statement

Short Bio

I am a Ph.D. student in the Department of Computer Science at the University of Illinois at Urbana-Champaign, co-advised by Darko Marinov and Grigore Rosu.

My research interests are in Software Engineering and Applied Formal Methods, with a focus on Software Testing and Runtime Verification.

Research

Combining Runtime Verification and Regression Testing
1. Techniques for Evolution-Aware Runtime Verification
  Owolabi Legunsen, Yi Zhang, Milica Hadži-Tanović, Grigore Rosu, Darko Marinov
  12th IEEE International Conference on Software Testing, Verification and Validation
  (ICST 2019), pages to-appear, Xi'an, China, April 2019
2. 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.)
3. 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]
Regression Test Selection
1. 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
2. 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]
3. 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]
4. 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]
Proactive Detection of Flaky Tests
1. 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]
2. 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]
3. 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
Testing in Emerging Application Domains
1. 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 to-appear, Montreal, Canada, May 2019
2. 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]
3. 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
Software and System Architecture
1. 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)