Owolabi Legunsen

Assistant Professor
Computer Science

Biography

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

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