Publications

Our research publications displayed chronologically (most recent first). For a complete list, visit our Google Scholar profile

Resolving Indirect Calls in Binary Code via Cross-Reference Augmented Graph Neural Networks

Haotian Zhang, Kun Liu, Cristian Garces, Chenke Luo, Yu Lei, Jiang Ming

arXiv preprint arXiv:2507.18801

2025
Efficient Adaptation of Large Language Models for Smart Contract Vulnerability Detection

Fadul Sikder, Yu Lei, Yuede Ji

Proceedings of the 21st International Conference on Predictive Models and Data Analytics in Software Engineering

2025
Fairness Testing of Machine Learning Models using Combinatorial Testing in Latent Space

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

2025
Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis

Xiaolei Ren, Mengfei Ren, Yu Lei, Jiang Ming

Proceedings of the ACM on Software Engineering, Volume 2, Issue FSE, Pages 2689-2711

2025
SmartExecutor: Coverage-Driven Symbolic Execution Guided via State Prioritization and Function Selection

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

2025
A Combinatorial Approach to Hyperparameter Optimization

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)

2024
Assessing the Degree of Feature Interactions That Determine a Model Prediction

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)

2024
Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning

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

2024
Proxima: A Proxy Model-Based Approach to Influence Analysis

S.Shree, Y. Lei, R. N. Kacker, and D. R. Kuhn

AITest 2024

2024
Algorithmic Optimizations for Deriving Minimal Forbidden Tuples

M.Wagner, I. Hiess, L. Kampel, D. E. Simos, and Y. Lei

ICSTW 2024

2024
Ensuring Reliability Through Combinatorial Coverage Measures

Raunak, M. S., D. R. Kuhn, R. N. Kacker, and Y. Lei

IEEE Reliability (2024)

2024
SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph

Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei

Proceedings of the 2023 IEEE International Conference on Brain-inspired Intelligent Systems (BRAINS 2023)

2023
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts

Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei

Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)

2023
Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference

Mengfei Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, Yu Lei

Computer Security – ESORICS 2023, Lecture Notes in Computer Science, vol 14345, Pages 467-486

2023
RATE: A model‐based testing approach that combines model refinement and test execution

Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan

Software Testing, Verification and Reliability, Volume 33, Issue 2, Pages e1835

2023
Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder

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)

2023
DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations

Sunny Shree, Jaganmohan Chandrasekaran, Yu Lei

Proceedings of the 2022 IEEE International Conference on Artificial Intelligence Testing (AITest 2022)

2022
One Size Does Not Fit All: Security Hardening of MIPS Embedded Systems via Static Binary Debloating for Shared Libraries

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

2022
A Combinatorial Approach to Fairness Testing of Machine Learning Models

Ankita Ramjibhai Patel

Master's Thesis, The University of Texas at Arlington

2022
Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing

Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei

ACM Digital Threats: Research and Practice (DTRAP '22)

2022
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study

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)

2021
Z-Fuzzer: Device-agnostic Fuzzing of Zigbee Protocol Implementation

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)

2021
Evaluation of T-Way Testing of DNNs in Autonomous Driving Systems

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)

2021
A Theory of Pending Schemas in Combinatorial Testing

X. Niu, H. Wu, N. Changhai, Y. Lei and X. Wang

IEEE Transactions on Software Engineering (TSE '21)

2021
Combinatorial Test Generation for Multiple Input Models with Shared Parameters

C. Rao, N. Li, Y. Lei, J. Guo, Y. Zhang, R. N. Kacker, D. R. Kuhn

IEEE Transactions on Software Engineering (TSE '21)

2021
Factorials Experiments, Covering Arrays, and Combinatorial Testing

Kacker, R.N., Kuhn, D.R., Lei, Y

Mathematics in Computer Science volume 15 (2021)

2021
Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing

Raghu N Kacker, D Richard Kuhn, Yu Lei, Dimitris E Simos

Mathematics in Computer Science, Volume 15, Issue 4, Page 741

2021
Enhance Combinatorial Testing with Metamorphic Relations

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

2021
Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space

Raghu N Kacker, D Richard Kuhn, Yu Lei, Dimitris E Simos

IEEE Software, Volume 39, Issue 5, Pages 62-67

2021
A Combinatorial Approach to Explaining Image Classifiers

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)

2021
A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems

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)

2021
Combinatorial methods for explainable AI

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)

2021
Effectiveness of Dataset Reduction in Testing Machine Learning Algorithms

Chandrasekaran, Jaganmohan, Huadong Feng, Yu Lei, Raghu Kacker, and D. Richard Kuhn

Proceedings of 2020 IEEE International Conference on Artificial Intelligence Testing (AITest '20)

2020
Input Space Coverage Matters

R. Kuhn, R. Kacker, Y. Lei, D. Simos

Computer 53.1 (2020): 37-44

2020
2 Effective Uncertainty Evaluation in Large-Scale Systems

Xie Junfei, Yan Wan, Yi Zhou, Kevin Mills, James J. Filliben, and Yu Lei

Principles of Cyber-Physical Systems: An Interdisciplinary Approach

2020