引用次数
引用: 1,088
H-指数: 17
I10-指数 : 20
出版物: 41
Testing probabilistic programming systems
Saikat Dutta , Owolabi Legunsen , Zixin Huang , Sasa Misailovic
foundations of software engineering 574 -586
18
2018
Comparing and combining analysis-based and learning-based regression test selection
Jiyang Zhang , Yu Liu , Milos Gligoric , Owolabi Legunsen
Smpte Journal 17 -28
2
2022
Misael Júnior, Misael Costa Júnior 421 Møller, Anders 120 Mori, Allan 427 Neamtiu, Iulian 231
Shiva Nejati , Franjo Ivančić , Gunel Jahangirova , Xingbin Jiang
DeFlaker: Automatically detecting flaky tests. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)
Jonathan Bell , Owolabi Legunsen , Michael Hilton , Lamyaa Eloussi
IEEE 433 -444
23
2018
D e F laker
Jonathan Bell , Owolabi Legunsen , Michael Hilton , Lamyaa Eloussi
Proceedings of the 40th International Conference on Software Engineering
2018
Evolution-Aware Monitoring-Oriented Programming (eMOP)
Owolabi Legunsen , Darko Marinov
2015
Inline tests
Yu Liu , Pengyu Nie , Owolabi Legunsen , Milos Gligoric
1 -13
7
2022
Acto: Automatic End-to-End Testing for Operation Correctness of Cloud System Management
Jiawei Tyler Gu , Xudong Sun , Wentao Zhang , Yuxuan Jiang
96 -112
5
2023
Evolution-aware runtime verification
Owolabi Legunsen
University of Illinois at Urbana-Champaign
4
2019
More precise regression test selection via reasoning about semantics-modifying changes
Yu Liu , Jiyang Zhang , Pengyu Nie , Milos Gligoric
664 -676
3
2023
pytest-inline: An inline testing tool for Python
Yu Liu , Zachary Thurston , Alan Han , Pengyu Nie
2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) 161 -164
3
2023
Extracting Inline Tests from Unit Tests
Yu Liu , Pengyu Nie , Anna Guo , Milos Gligoric
1458 -1470
2
2023
eMOP: A Maven Plugin for Evolution-Aware Runtime Verification
Ayaka Yorihiro , Pengyue Jiang , Valeria Marqués , Benjamin Carleton
Springer Nature Switzerland 363 -375
1
2023
Runtime Verification of Crypto APIs: An Empirical Study
Adriano Torres , Pedro Costa , Luis Amaral , Jonata Pastro
IEEE Transactions on Software Engineering
1
2023
ExLi: An Inline-Test Generation Tool for Java
Yu Liu , Aditya Thimmaiah , Owolabi Legunsen , Milos Gligoric
2024
Model Checking Software: 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022, Proceedings
Owolabi Legunsen , Grigore Rosu
Springer Nature 13255
2022
STARTS: STAtic Regression Test Selection Regression Test Selection
Owolabi Legunsen
2017
Model Checking Software
Owolabi Legunsen , Grigore Rosu
External Reviewers of ICSE 2020
Sallam Abualhaija , Jonathan Aldrich , Chetan Arora , Samuel Benton
PC Members: Doctoral Symposium
Rob Hierons , Tingting Yu , Yvan Labiche , Boyang Li