Publications
Our research publications displayed chronologically (most recent first). For a complete list, visit our Google Scholar profile
Haotian Zhang, Kun Liu, Cristian Garces, Chenke Luo, Yu Lei, Jiang Ming
arXiv preprint arXiv:2507.18801
Fadul Sikder, Yu Lei, Yuede Ji
Proceedings of the 21st International Conference on Predictive Models and Data Analytics in Software Engineering
Arjun Dahal, Sunny Shree, Yu Lei, Raghu N Kacker, D Richard Kuhn
2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), Pages 268-277
Xiaolei Ren, Mengfei Ren, Yu Lei, Jiang Ming
Proceedings of the ACM on Software Engineering, Volume 2, Issue FSE, Pages 2689-2711
Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, Richard Kuhn
Distributed Ledger Technologies: Research and Practice, Volume 4, Issue 1, Pages 1-29
Khadka, Krishna; Chandrasekaran, Jaganmohan; Lei, Yu; Kacker, Raghu N; Kuhn, D Richard
Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering – Software Engineering for AI (CAIN 2024)
Khadka, Krishna; Shree, Sunny; Lei, Yu; Kacker, Raghu N; Kuhn, D Richard
Proceedings of the 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2024)
Sunny Shree, Krishna Khadka, Yu Lei, Raghu N Kacker, D Richard Kuhn
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE 2024), Pages 1645-1654
S.Shree, Y. Lei, R. N. Kacker, and D. R. Kuhn
AITest 2024
M.Wagner, I. Hiess, L. Kampel, D. E. Simos, and Y. Lei
ICSTW 2024
Raunak, M. S., D. R. Kuhn, R. N. Kacker, and Y. Lei
IEEE Reliability (2024)
Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei
Proceedings of the 2023 IEEE International Conference on Brain-inspired Intelligent Systems (BRAINS 2023)
Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei
Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)
Mengfei Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, Yu Lei
Computer Security – ESORICS 2023, Lecture Notes in Computer Science, vol 14345, Pages 467-486
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
Software Testing, Verification and Reliability, Volume 33, Issue 2, Pages e1835
Khadka, Krishna; Chandrasekaran, Jaganmohan; Lei, Yu; Kacker, Raghu N; Kuhn, D Richard
Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2023)
Sunny Shree, Jaganmohan Chandrasekaran, Yu Lei
Proceedings of the 2022 IEEE International Conference on Artificial Intelligence Testing (AITest 2022)
Haotian Zhang, Mengfei Ren, Yu Lei, Jiang Ming
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022), Pages 255-270
Ankita Ramjibhai Patel
Master's Thesis, The University of Texas at Arlington
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei
ACM Digital Threats: Research and Practice (DTRAP '22)
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, Li Li
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '21)
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei
Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec '21)
Chandrasekaran, Jaganmohan, Ankita Ramjibhai Patel, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of 2021 IEEE International Conference on Artificial Intelligence Testing (AITest '21)
X. Niu, H. Wu, N. Changhai, Y. Lei and X. Wang
IEEE Transactions on Software Engineering (TSE '21)
C. Rao, N. Li, Y. Lei, J. Guo, Y. Zhang, R. N. Kacker, D. R. Kuhn
IEEE Transactions on Software Engineering (TSE '21)
Kacker, R.N., Kuhn, D.R., Lei, Y
Mathematics in Computer Science volume 15 (2021)
Raghu N Kacker, D Richard Kuhn, Yu Lei, Dimitris E Simos
Mathematics in Computer Science, Volume 15, Issue 4, Page 741
Xintao Niu, Yanjie Sun, Huayao Wu, Gang Li, Changhai Nie, Lei Yu, Xiaoyin Wang
IEEE Transactions on Software Engineering, Volume 48, Issue 12, Pages 5007-5029
Raghu N Kacker, D Richard Kuhn, Yu Lei, Dimitris E Simos
IEEE Software, Volume 39, Issue 5, Pages 62-67
Chandrasekaran, Jaganmohan, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW '21)
Chandrasekaran, Jaganmohan, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW '21)
Kuhn, D. Richard, Raghu N. Kacker, Yu Lei, and Dimitris E. Simos
Proceedings of 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW '21)
Chandrasekaran, Jaganmohan, Huadong Feng, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of 2020 IEEE International Conference on Artificial Intelligence Testing (AITest '20)
Xie Junfei, Yan Wan, Yi Zhou, Kevin Mills, James J. Filliben, and Yu Lei
Principles of Cyber-Physical Systems: An Interdisciplinary Approach