Publications
Our research publications displayed chronologically (most recent first). For a complete list, visit our Google Scholar profile
Krishna Khadka, Jaganmohan Chandrasekaran, Yu Lei, Raghu N Kacker, D Richard Kuhn
Springer Nature Computer Science
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
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
Fadul Sikder, Yu Lei, Yuede Ji
Proceedings of the 21st International Conference on Predictive Models and Data Analytics in Software Engineering
Haotian Zhang, Kun Liu, Cristian Garces, Chenke Luo, Yu Lei, Jiang Ming
arXiv preprint arXiv:2507.18801
Raunak, M. S., D. R. Kuhn, R. N. Kacker, and Y. Lei
IEEE Reliability (2024)
M.Wagner, I. Hiess, L. Kampel, D. E. Simos, and Y. Lei
ICSTW 2024
S.Shree, Y. Lei, R. N. Kacker, and D. R. Kuhn
AITest 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
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)
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)
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
Software Testing, Verification and Reliability, Volume 33, Issue 2, Pages e1835
Mengfei Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, Yu Lei
Computer Security – ESORICS 2023, Lecture Notes in Computer Science, vol 14345, Pages 467-486
Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei
Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)
Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei
Proceedings of the 2023 IEEE International Conference on Brain-inspired Intelligent Systems (BRAINS 2023)
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)
Ankita Ramjibhai Patel
Master's Thesis, The University of Texas at Arlington
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
Sunny Shree, Jaganmohan Chandrasekaran, Yu Lei
Proceedings of the 2022 IEEE International Conference on Artificial Intelligence Testing (AITest 2022)
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei
ACM Digital Threats: Research and Practice (DTRAP '22)
Raghu N Kacker, D Richard Kuhn, Yu Lei, Dimitris E Simos
IEEE Software, Volume 39, Issue 5, Pages 62-67
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
Mathematics in Computer Science, Volume 15, Issue 4, Page 741
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, 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)
Kacker, R.N., Kuhn, D.R., Lei, Y
Mathematics in Computer Science volume 15 (2021)
C. Rao, N. Li, Y. Lei, J. Guo, Y. Zhang, R. N. Kacker, D. R. Kuhn
IEEE Transactions on Software Engineering (TSE '21)
X. Niu, H. Wu, N. Changhai, Y. Lei and X. Wang
IEEE Transactions on Software Engineering (TSE '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)
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)
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)
Xie Junfei, Yan Wan, Yi Zhou, Kevin Mills, James J. Filliben, and Yu Lei
Principles of Cyber-Physical Systems: An Interdisciplinary Approach
Chandrasekaran, Jaganmohan, Huadong Feng, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of 2020 IEEE International Conference on Artificial Intelligence Testing (AITest '20)