(For a full list of publications go to Google Scholar)
Fairness Testing of Machine Learning Models using Combinatorial Testing in Latent Space
Arjun Dahal, Sunny Shree, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘25)
Efficient Adaptation of Large Language Models for Smart Contract Vulnerability Detection
Fadul Sikder, Yu Lei, and Yuede Ji
Proceedings of the 21st International Conference on Predictive Models and Data Analytics in Software Engineering (PROMISE ‘25)
A Combinatorial Approach to Hyperparameter Optimization
Krishna Khadka, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering – Software Engineering for AI (CAIN ‘24)
Algorithmic Optimizations for Deriving Minimal Forbidden Tuples
Michael Wagner , Irene Hiess, Ludwig Kampel, Dimitris E. Simos, and Yu Lei
Proceedings of the 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘24)
Assessing the Degree of Feature Interactions that Determine a Model Prediction
Krishna Khadka, Sunny Shree, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 2024 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘24)
Proxima: A Proxy Model-Based Approach to Influence Analysis
Sunny Shree, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 2024 IEEE International Conference on Artificial Intelligence Testing (AITest ‘24)
Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning
Sunny Shree, Krishna Khadka, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering (ASE ‘24)
MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts
Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, D. Richard Kuhn, and Dimitris E. Simos
Proceedings of the 2023 IEEE Conference on Software Testing, Verification and Validation (ICST ‘23)
Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder
Krishna Khadka, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘23)
Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference
Mengfei Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, and Yu Lei
Proceedings of Computer Security – ESORICS 2023
SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph
Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, and Richard Kuhn
Proceedings of the 2023 5th Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS ‘23)
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, and Jiang Ming
Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS ‘22)
A Combinatorial Approach to Fairness Testing of Machine Learning Models
Ankita Ramjibhai Patel, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘22)
Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System
Rui Huang, Chang Rao, Yu Lei, Jin Guo, and Yadong Zhang
Proceedings of the 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘22)
DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations
Sunny Shree, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 2022 IEEE International Conference on Artificial Intelligence Testing (AITest ‘22)
A Combinatorial Approach to Explaining Image Classifiers
Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of the 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘21)
A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems
Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of the 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘21)
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI 2021)
Z-Fuzzer: Device-Agnostic Fuzzing of Zigbee Protocol Implementation
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, and Yu Lei
Proceedings of the 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec ‘21)
Evaluation of T-Way Testing of DNNs in Autonomous Driving Systems
Jaganmohan Chandrasekaran, Ankita Ramjibhai Patel, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing (AITest ‘21)
Effectiveness of Dataset Reduction in Testing Machine Learning Algorithms
Jaganmohan Chandrasekaran, Huadong Feng, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of 2020 IEEE International Conference on Artificial Intelligence Testing (AITest ‘20)
Combinatorial Methods for Explainable AI
D. Richard Kuhn, Raghu N. Kacker, Yu Lei, and Dimitris E. Simos
Proceedings of the 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘20)
SmartExecutor: Coverage-Driven Symbolic Execution Guided via State Prioritization and Function Selection
Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, and Richard Kuhn
ACM Distributed Ledger Technologies - Research and Practice (DLT ‘25)
Ensuring Reliability Through Combinatorial Coverage Measures
M. S.Raunak, D. R. Kuhn, R. N. Kacker, and Y. Lei
IEEE Reliability Magazine (2024)
RATE: A model-based testing approach that combines model refinement and test execution
Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, and Feng Duan
Software Testing, Verification and Reliability (2023)
Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing
Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, and Yu Lei
ACM Digital Threats - Research and Practice (2023)
Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space
Raghu N.Kacker, D. Richard Kuhn, Yu Lei, and Dimitris E. Simos
IEEE Software (2022)
A Theory of Pending Schemas in Combinatorial Testing
Xintao Niu, Huayao Wu, Changhai Nie, Yu Lei, and Xiaoyin Wang
IEEE Transactions on Software Engineering (TSE ‘22)
Enhance Combinatorial Testing With Metamorphic Relations
Xintao Niu, Yanjie Sun, Huayao Wu, Gang Li, Changhai Nie, Yu Lei, and Xiaoyin Wang
IEEE Transactions on Software Engineering (TSE ‘22)
Combinatorial Test Generation for Multiple Input Models With Shared Parameters
Chang Rao, Nan Li, Yu Lei, Jin Guo, Yadong Zhang, Raghu N. Kacker, and D. Richard Kuhn
IEEE Transactions on Software Engineering (TSE ‘22)
Measurement of the Adequacy of a Test Suite With Respect to the Modeled Test Space
Raghu N.Kacker, D. Richard Kuhn, Yu Lei, and Dimitris Simos
IEEE Software (2021)
Factorials Experiments, Covering Arrays, and Combinatorial Testing
Raghu N.Kacker, D. Richard Kuhn, Yu Lei, and Dimitris E. Simos
Mathematics in Computer Science (2021)
Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing
Raghu N.Kacker, D. Richard Kuhn, Yu Lei, and Dimitris E. Simos
Mathematics in Computer Science (2021)
Input Space Coverage Matters
Rick Kuhn, Raghu N. Kacker, Yu Lei, and Dimitris Simos
IEEE Computer, Vol. 53, No. 1
2 Effective Uncertainty Evaluation in Large-Scale Systems
Junfei Xie, Yan Wan, Yi Zhou, Kevin Mills, James J. Filliben, and Yu Lei
Principles of Cyber-Physical Systems - An Interdisciplinary Approach (Cambridge University Press, 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
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)
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)
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)
An Approach to T-way Test Sequence Generation with Constraints
Duan, Feng, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘19)
Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array
Duan, Feng, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘19)
Weighted Combinatorial Sequence Testing for the TLS Protocol
Garn, Bernhard, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, and Franz Wotawa
Proceedings of 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘19)
A Model for T-Way Fault Profile Evolution during Testing
Kuhn, D. Richard, Raghu N. Kacker, and Yu Lei.
Proceedings of 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘17)
Optimizing IPOG’s Vertical Growth with Constraints based on Hypergraph Coloring
Duan, Feng, Yu Lei, Linbin Yu, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘17)
Applying Combinatorial Testing to High-speed Railway Track Circuit Receiver
Rao, Chang, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li, and Yaxin Cao
Proceedings of 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘17)
Applying Combinatorial Testing to Data Mining Algorithms
Chandrasekaran, Jaganmohan, Huadong Feng, Yu Lei, D. Richard Kuhn, and Raghu Kacker
Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘17)
The Tail at Scale: How to Predict It?
Nguyen, Minh, Zhongwei Li, Feng Duan, Hao Che, and Hong Jiang
Proceedings of the 8th USENIX workshop on Hot Topics in Cloud Computing (HotCloud ‘16)
Pseudo-exhaustive Testing of Attribute Based Access Control Rules
Kuhn, D. Richard, Vincent Hu, David F. Ferraiolo, Raghu N. Kacker, and Yu Lei
Proceedings of the 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘16)
Towards Agile Testing for Railway Safety-critical Software
Li, Nan, Jin Guo, Jeff Lei, Yao Li, Chang Rao, and YaXin Cao
Proceedings of the Scientific Workshop Proceedings of XP2016 (XP ‘16)
Ben: A Combinatorial Testing-based Fault Localization Tool
Ghandehari Laleh Sh, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘15)
Constraint Handling in Combinatorial Test Generation using Forbidden Tuples
Yu, Linbin, Feng Duan, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘15)
Improving IPOG’s Vertical Growth based on A Graph Coloring Scheme
Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘15)
An Empirical Comparison of Combinatorial and Random Testing
Ghandehari, Laleh Sh, Jacek Czerwonka, Yu Lei, Soheil Shafiee, Raghu Kacker, and Richard Kuhn
Proceedings of the 7th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘14)
Applying Combinatorial Testing to the Siemens Suite
Ghandehari, Laleh Shikh Gholamhossein, Mehra N. Bourazjany, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘13)
An Input Space Modeling Methodology for Combinatorial Testing
Borazjany, Mehra N., Laleh Sh Ghandehari, Yu Lei, Raghu Kacker, and Rick Kuhn
Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘13)
Identifying Failure-Inducing Combinations Using Tuple Relationship
Xintao Niu, Changhai Nie, Yu Lei, and Alvin T.S. Chan
Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘13)
Combinatorial Coverage Measurement Concepts and Applications
Kuhn, D. Richard, Itzel Dominguez Mendoza, Raghu N. Kacker, and Yu Lei
Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW ‘13)