Owolabi Legunsen

Ph.D. Student
Office: 4217 Siebel Center
Email: legunse2@illinois.edu
Address: 201 N Goodwin Ave. Urbana, IL 61801
Short Bio

I am a Ph.D. student at The Department of Computer Science, University of Illinois at Urbana-Champaign. I am fortunate to be working with Professors Darko Marinov and Grigore Rosu. I am generally interested in Software Engineering research, with a focus on Regression Testing and Runtime Verification. I obtained an M.Sc. in Computer Science from The University of Texas at Dallas and a B.Sc. in Computer Engineering from the Obafemi Awolowo University, Ile-Ife, Nigeria.
Publications
  1. 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 TO-APPEAR, Urbana-Champaign, IL, October-November 2017.

  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.

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

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

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

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

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