default search action

combined dblp search
author search
venue search
publication search

ask others

Owolabi Legunsen

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/GuanL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/GuanL24
Kevin Guan, Owolabi Legunsen:
An In-Depth Study of Runtime Verification Overheads during Software Testing. ISSTA 2024: 1798-1810
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LiuTL024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LiuTL024
Yu Liu, Aditya Thimmaiah, Owolabi Legunsen, Milos Gligoric:
ExLi: An Inline-Test Generation Tool for Java. SIGSOFT FSE Companion 2024: 652-656
2023
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/TorresCAPBdLBC23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/TorresCAPBdLBC23
Adriano Torres, Pedro Henrique Teixeira Costa, Luis Henrique Vieira Amaral, Jonata Pastro, Rodrigo Bonifácio, Marcelo d'Amorim, Owolabi Legunsen, Eric Bodden, Edna Dias Canedo:
Runtime Verification of Crypto APIs: An Empirical Study. IEEE Trans. Software Eng. 49(10): 4510-4525 (2023)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiuTH00L23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiuTH00L23
Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
pytest-inline: An Inline Testing Tool for Python. ICSE Companion 2023: 161-164
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Liu000L23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Liu000L23
Yu Liu, Jiyang Zhang, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
More Precise Regression Test Selection via Reasoning about Semantics-Modifying Changes. ISSTA 2023: 664-676
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/Liu0G0L23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/Liu0G0L23
Yu Liu, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen:
Extracting Inline Tests from Unit Tests. ISSTA 2023: 1458-1470
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/YorihiroJMCL23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/YorihiroJMCL23
Ayaka Yorihiro, Pengyue Jiang, Valeria Marqués, Benjamin Carleton, Owolabi Legunsen:
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification. RV 2023: 363-375
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sosp/GuSZJWVLX23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sosp/GuSZJWVLX23
Jiawei Tyler Gu, Xudong Sun, Wentao Zhang, Yuxuan Jiang, Chen Wang, Mandana Vaziri, Owolabi Legunsen, Tianyin Xu:
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management. SOSP 2023: 96-112
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-13486
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-13486
Yu Liu, Zachary Thurston, Alan Han, Pengyu Nie, Milos Gligoric, Owolabi Legunsen:
pytest-inline: An Inline Testing Tool for Python. CoRR abs/2305.13486 (2023)
2022
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/ast/ZhangLGLS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ast/ZhangLGLS22
Jiyang Zhang, Yu Liu, Milos Gligoric, Owolabi Legunsen, August Shi:
Comparing and Combining Analysis-Based and Learning-Based Regression Test Selection. AST@ICSE 2022: 17-28
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/Liu0LG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/Liu0LG22
Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric:
Inline Tests. ASE 2022: 57:1-57:13
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/2022
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/2022
Owolabi Legunsen, Grigore Rosu:
Model Checking Software - 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings. Lecture Notes in Computer Science 13255, Springer 2022, ISBN 978-3-031-15076-0 [contents]
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-06315
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-06315
Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric:
Inline Tests. CoRR abs/2209.06315 (2022)
2021
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangHLL0X21a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangHLL0X21a
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu:
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE (Companion Volume) 2021: 175-176
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhangHLL0X21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhangHLL0X21
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu:
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. ICSE 2021: 188-200
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2102-07052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-07052
Yuanliang Zhang, Haochen He, Owolabi Legunsen, Shanshan Li, Wei Dong, Tianyin Xu:
An Evolutionary Study of Configuration Design and Implementation in Cloud Systems. CoRR abs/2102.07052 (2021)
2020
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/MirandaLLd20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/MirandaLLd20
Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim:
Prioritizing Runtime Verification Violations. ICST 2020: 297-308
[c15]
- view
  - electronic edition @ usenix.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/osdi/SunCCALX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/osdi/SunCCALX20
Xudong Sun, Runxiang Cheng, Jianyan Chen, Elaine Ang, Owolabi Legunsen, Tianyin Xu:
Testing Configuration Changes in Context to Prevent Production Failures. OSDI 2020: 735-751
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ChenWLLX20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ChenWLLX20
Qingrong Chen, Teng Wang, Owolabi Legunsen, Shanshan Li, Tianyin Xu:
Understanding and discovering software configuration dependencies in cloud and datacenter systems. ESEC/SIGSOFT FSE 2020: 362-374

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[b1]
- view
  - electronic edition via handle.net
  - no references & citations available
- export record
  dblp key:
  - phd/us/Legunsen19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Legunsen19
Owolabi Legunsen:
Evolution-aware runtime verification. University of Illinois Urbana-Champaign, USA, 2019
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/LegunsenAXHRM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/LegunsenAXHRM19
Owolabi Legunsen, Nader Al Awar, Xinyue Xu, Wajih Ul Hassan, Grigore Rosu, Darko Marinov:
How effective are existing Java API specifications for finding bugs during runtime verification? Autom. Softw. Eng. 26(4): 795-837 (2019)
[j2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/ShiHZML19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/ShiHZML19
August Shi, Milica Hadzi-Tanovic, Lingming Zhang, Darko Marinov, Owolabi Legunsen:
Reflection-aware static regression test selection. Proc. ACM Program. Lang. 3(OOPSLA): 187:1-187:29 (2019)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhuLSG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhuLSG19
Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric:
A framework for checking regression test selection tools. ICSE 2019: 430-441
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/LegunsenZHRM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/LegunsenZHRM19
Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov:
Techniques for Evolution-Aware Runtime Verification. ICST 2019: 300-311
2018
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BellLHEYM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BellLHEYM18
Jonathan Bell, Owolabi Legunsen, Michael Hilton, Lamyaa Eloussi, Tifany Yung, Darko Marinov:
DeFlaker: automatically detecting flaky tests. ICSE 2018: 433-444
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/HaririSLGKM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/HaririSLGKM18
Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic:
Approximate Transformations as Mutation Operators. ICST 2018: 285-296
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/issre/GyoriLHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issre/GyoriLHM18
Alex Gyori, Owolabi Legunsen, Farah Hariri, Darko Marinov:
Evaluating Regression Test Selection Opportunities in a Very Large Open-Source Ecosystem. ISSRE 2018: 112-122
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DuttaLHM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DuttaLHM18
Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic:
Testing probabilistic programming systems. ESEC/SIGSOFT FSE 2018: 574-586
2017
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LegunsenSM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LegunsenSM17
Owolabi Legunsen, August Shi, Darko Marinov:
STARTS: STAtic regression test selection. ASE 2017: 949-954
2016
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ShiGLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ShiGLM16
August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov:
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST 2016: 80-90
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LegunsenHXRM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LegunsenHXRM16
Owolabi Legunsen, Wajih Ul Hassan, Xinyue Xu, Grigore Rosu, Darko Marinov:
How good are the specs? a study of the bug-finding effectiveness of existing Java API specifications. ASE 2016: 602-613
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/LegunsenHSLZM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/LegunsenHSLZM16
Owolabi Legunsen, Farah Hariri, August Shi, Yafeng Lu, Lingming Zhang, Darko Marinov:
An extensive study of static regression test selection in modern software evolution. SIGSOFT FSE 2016: 583-594
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/GyoriLSLM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/GyoriLSLM16
Alex Gyori, Ben Lambeth, August Shi, Owolabi Legunsen, Darko Marinov:
NonDex: a tool for detecting and debugging wrong assumptions on Java API specifications. SIGSOFT FSE 2016: 993-997
2015
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/LegunsenMR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LegunsenMR15
Owolabi Legunsen, Darko Marinov, Grigore Rosu:
Evolution-Aware Monitoring-Oriented Programming. ICSE (2) 2015: 615-618
2014
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/GligoricNLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/GligoricNLM14
Milos Gligoric, Stas Negara, Owolabi Legunsen, Darko Marinov:
An empirical evaluation and comparison of manual and automated test selection. ASE 2014: 361-372
2013
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/ChungHLSDS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/ChungHLSDS13
Lawrence Chung, Tom Hill, Owolabi Legunsen, Zhenzhou Sun, Adip Dsouza, Sam Supakkul:
A goal-oriented simulation approach for obtaining good private cloud-based system architectures. J. Syst. Softw. 86(9): 2242-2262 (2013)

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.