![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Owolabi Legunsen
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c26]Yu Liu
, Aditya Thimmaiah
, Owolabi Legunsen
, Milos Gligoric
:
ExLi: An Inline-Test Generation Tool for Java. SIGSOFT FSE Companion 2024: 652-656 - 2023
- [j4]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]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]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]Yu Liu
, Pengyu Nie, Anna Guo, Milos Gligoric, Owolabi Legunsen:
Extracting Inline Tests from Unit Tests. ISSTA 2023: 1458-1470 - [c22]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]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]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]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]Yu Liu
, Pengyu Nie
, Owolabi Legunsen
, Milos Gligoric:
Inline Tests. ASE 2022: 57:1-57:13 - [e1]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]Yu Liu, Pengyu Nie, Owolabi Legunsen, Milos Gligoric:
Inline Tests. CoRR abs/2209.06315 (2022) - 2021
- [c18]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]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]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]Breno Miranda, Igor Lima, Owolabi Legunsen, Marcelo d'Amorim:
Prioritizing Runtime Verification Violations. ICST 2020: 297-308 - [c15]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]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
- 2019
- [b1]Owolabi Legunsen:
Evolution-aware runtime verification. University of Illinois Urbana-Champaign, USA, 2019 - [j3]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]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]Chenguang Zhu, Owolabi Legunsen, August Shi, Milos Gligoric:
A framework for checking regression test selection tools. ICSE 2019: 430-441 - [c12]Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov:
Techniques for Evolution-Aware Runtime Verification. ICST 2019: 300-311 - 2018
- [c11]Jonathan Bell, Owolabi Legunsen, Michael Hilton
, Lamyaa Eloussi, Tifany Yung, Darko Marinov:
DeFlaker: automatically detecting flaky tests. ICSE 2018: 433-444 - [c10]Farah Hariri, August Shi, Owolabi Legunsen, Milos Gligoric, Sarfraz Khurshid, Sasa Misailovic:
Approximate Transformations as Mutation Operators. ICST 2018: 285-296 - [c9]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]Saikat Dutta, Owolabi Legunsen, Zixin Huang, Sasa Misailovic:
Testing probabilistic programming systems. ESEC/SIGSOFT FSE 2018: 574-586 - 2017
- [c7]Owolabi Legunsen, August Shi, Darko Marinov:
STARTS: STAtic regression test selection. ASE 2017: 949-954 - 2016
- [c6]August Shi, Alex Gyori, Owolabi Legunsen, Darko Marinov:
Detecting Assumptions on Deterministic Implementations of Non-deterministic Specifications. ICST 2016: 80-90 - [c5]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]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]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]Owolabi Legunsen, Darko Marinov, Grigore Rosu:
Evolution-Aware Monitoring-Oriented Programming. ICSE (2) 2015: 615-618 - 2014
- [c1]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]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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint