In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. - Yu Lei 001; Kuo-Chung Tai (HASE, 1998)

Efficient Reachability Testing of Asynchronous Message-Passing Programs. - Yu Lei 001; Kuo-Chung Tai (ICECCS, 2002)

Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. - Yu Lei 001; Kuo-Chung Tai (ISSRE, 2002)

A Test Generation Strategy for Pairwise Testing. - Kuo-Chung Tai; Yu Lei 001 (IEEE Trans. Software Eng., 2002)

Reachability Testing of Semaphore-Based Programs. - Yu Lei 001; Richard H. Carver (COMPSAC, 2004)

Reachability testing of monitor-based programs. - Yu Lei 001; Richard H. Carver (IASTED Conf. on Software Engineering and Applications, 2004)

A General Model for Reachability Testing of Concurrent Programs. - Richard H. Carver; Yu Lei 001 (ICFEM, 2004)

An Approach to Unfolding Asynchronous Communication Protocols. - Yu Lei 001; S. Purushothaman Iyer (FM, 2005)

Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. - W. Eric Wong; Yu Lei 001; Xiao Ma (ICECCS, 2005)

A New Algorithm for Reachability Testing of Concurrent Programs. - Yu Lei 001; Richard H. Carver (ISSRE, 2005)

A State Exploration-Based Approach to Testing Java Monitors. - Yu Lei 001; Richard H. Carver; David Chenho Kung; Vidur Gupta; Monica Hernandez (ISSRE, 2006)

A Blocking-based Approach to Protocol Validation. - Qizhi Ye; Yu Lei 001; David Chenho Kung (Comput. J., 2006)

Reachability Testing of Concurrent Programs. - Yu Lei 001; Richard H. Carver (IEEE Trans. Software Eng., 2006)

IPOG: A General Strategy for T-Way Software Testing. - Yu Lei 001; Raghu Kacker; D. Richard Kuhn; Vadim Okun; James Lawrence 001 (ECBS, 2007)

A combinatorial testing strategy for concurrent programs. - Yu Lei 001; Richard H. Carver; Raghu Kacker; David Chenho Kung (Softw. Test. Verification Reliab., 2007)

An Interaction-Based Test Sequence Generation Approach for Testing Web Applications. - Wenhua Wang; Sreedevi Sampath; Yu Lei 001; Raghu Kacker (HASE, 2008)

Reusing Existing Test Cases for Security Testing. - Dazhi Zhang; Wenhua Wang; Donggang Liu; Yu Lei 001; David Chenho Kung (ISSRE, 2008)

Towards an evaluation framework for assistive environments. - Vangelis Metsis; Zhengyi Le; Yu Lei 001; Fillia Makedon (PETRA, 2008)

Reachability Graph-Based Test Sequence Generation for Concurrent Programs. - W. Eric Wong; Yu Lei 001 (Int. J. Softw. Eng. Knowl. Eng., 2008)

Practical Combinatorial Testing: Beyond Pairwise. - Rick Kuhn; Yu Lei 001; Raghu Kacker (IT Prof., 2008)

IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. - Yu Lei 001; Raghu Kacker; D. Richard Kuhn; Vadim Okun; James Lawrence 001 (Softw. Test. Verification Reliab., 2008)

A combinatorial approach to building navigation graphs for dynamic web applications. - Wenhua Wang; Yu Lei 001; Sreedevi Sampath; Raghu Kacker; Rick Kuhn; James Lawrence 001 (ICSM, 2009)

Abstraction of multiple executions of object-oriented programs. - Chunying Zhao; Kang Zhang 001; Yu Lei 001 (SAC, 2009)

Combinatorial Software Testing. - Rick Kuhn; Raghu Kacker; Yu Lei 001; Justin Hunter (Computer, 2009)

Detecting vulnerabilities in C programs using trace-based testing. - Dazhi Zhang; Donggang Liu; Yu Lei 001; David Chenho Kung; Christoph Csallner; Wenhua Wang (DSN, 2010)

A Stateful Approach to Testing Monitors in Multithreaded Programs. - Richard H. Carver; Jeff Yu Lei (HASE, 2010)

Distributed reachability testing of concurrent programs. - Richard H. Carver; Yu Lei 001 (Concurr. Comput. Pract. Exp., 2010)

A class library for implementing, testing, and debugging concurrent programs. - Richard H. Carver; Yu Lei 001 (Int. J. Softw. Tools Technol. Transf., 2010)

A combinatorial approach to detecting buffer overflow vulnerabilities. - Wenhua Wang; Yu Lei 001; Donggang Liu; David Chenho Kung; Christoph Csallner; Dazhi Zhang; Raghu Kacker; Rick Kuhn (DSN, 2011)

A Survey of Binary Covering Arrays. - Jim Lawrence; Raghu Kacker; Yu Lei 001; D. Richard Kuhn; Michael A. Forbes 001 (Electron. J. Comb., 2011)

A multi-objective scheduling strategy based on MOGA in cloud computing environment. - Zhou Lei; Jinfeng Xiang; Zhebo Zhou; Feng Duan; Yu Lei 001 (CCIS, 2012)

Efficient Algorithms for T-way Test Sequence Generation. - Linbin Yu; Yu Lei 001; Raghu Kacker; D. Richard Kuhn; James Lawrence 001 (ICECCS, 2012)

Combinatorial Testing of ACTS: A Case Study. - Mehra N. Borazjany; Linbin Yu; Yu Lei 001; Raghu Kacker; Rick Kuhn (ICST, 2012)

Identifying Failure-Inducing Combinations in a Combinatorial Test Set. - Laleh Shikh Gholamhossein Ghandehari; Yu Lei 001; Tao Xie 001; D. Richard Kuhn; Raghu Kacker (ICST, 2012)

Combinatorial Methods for Event Sequence Testing. - D. Richard Kuhn; James M. Higdon; James Lawrence 001; Raghu Kacker; Yu Lei 001 (ICST, 2012)

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. - Kiran Shakya; Tao Xie 001; Nuo Li; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (ICST, 2012)

Improved Delta Debugging Based on Combinatorial Testing. - Jie Li; Changhai Nie; Yu Lei 001 (QSIC, 2012)

An Embedded Co-AdaBoost and Its Application in Classification of Software Document Relation. - Jin Liu 016; Juan Li; Yuan Xie 001; Jeff Yu Lei; Qiping Hu (SKG, 2012)

SimFuzz: Test case similarity directed deep fuzzing. - Dazhi Zhang; Donggang Liu; Yu Lei 001; David Chenho Kung; Christoph Csallner; Nathaniel Nystrom; Wenhua Wang (J. Syst. Softw., 2012)

CCM: A Tool for Measuring Combinatorial Coverage of System State Space. - Itzel Dominguez Mendoza; D. Richard Kuhn; Raghu Kacker; Yu Lei 001 (ESEM, 2013)

An Input Space Modeling Methodology for Combinatorial Testing. - Mehra N. Borazjany; Laleh Shikh Gholamhossein Ghandehari; Yu Lei 001; Raghu Kacker; Rick Kuhn (ICST Workshops, 2013)

Applying Combinatorial Testing to the Siemens Suite. - Laleh Shikh Gholamhossein Ghandehari; Mehra N. Borazjany; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (ICST Workshops, 2013)

Combinatorial Coverage Measurement Concepts and Applications. - D. Richard Kuhn; Itzel Dominguez Mendoza; Raghu Kacker; Yu Lei 001 (ICST Workshops, 2013)

Identifying Failure-Inducing Combinations Using Tuple Relationship. - Xintao Niu; Changhai Nie; Yu Lei 001; Alvin T. S. Chan (ICST Workshops, 2013)

An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation. - Linbin Yu; Yu Lei 001; Mehra Nouroz Borazjany; Raghu Kacker; D. Richard Kuhn (ICST, 2013)

ACTS: A Combinatorial Test Generation Tool. - Linbin Yu; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (ICST, 2013)

Social Trust Prediction Using Rank-k Matrix Recovery. - Jin Huang; Feiping Nie 001; Heng Huang; Yu Lei 001; Chris H. Q. Ding (IJCAI, 2013)

Fault localization based on failure-inducing combinations. - Laleh Shikh Gholamhossein Ghandehari; Yu Lei 001; David Chenho Kung; Raghu Kacker; D. Richard Kuhn (ISSRE, 2013)

A Modular Approach to Model-Based Testing of Concurrent Programs. - Richard H. Carver; Yu Lei 001 (MUSEPAT, 2013)

A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. - Jing Xu; Yu Lei 001; Richard H. Carver; David Chenho Kung (MUSEPAT, 2013)

A general conformance testing framework for IEEE 11073 PHD's communication model. - Linbin Yu; Yu Lei 001; Raghu Kacker; D. Richard Kuhn; Ram D. Sriram; Kevin Brady (PETRA, 2013)

Social trust prediction using heterogeneous networks. - Jin Huang; Feiping Nie 001; Heng Huang; Yi-Cheng Tu; Yu Lei 001 (ACM Trans. Knowl. Discov. Data, 2013)

Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples. - Linbin Yu; Feng Duan; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (HASE, 2014)

An Empirical Comparison of Combinatorial and Random Testing. - Laleh S. Ghandehari; Jacek Czerwonka; Yu Lei 001; Soheil Shafiee; Raghu Kacker; D. Richard Kuhn (ICST Workshops, 2014)

Estimating Fault Detection Effectiveness. - Rick Kuhn; Raghu Kacker; Yu Lei 001 (ICST Workshops, 2014)

Effective and scalable uncertainty evaluation for large-scale complex system applications. - Junfei Xie; Yan Wan 001; Yi Zhou; Kevin Mills; James J. Filliben; Yu Lei 001 (WSC, 2014)

Scalable and efficient workload hotspot detection in virtualized environment. - Zhou Lei; Bolin Hu; Jianhua Guo; Luokai Hu; Wenfeng Shen; Yu Lei 001 (Clust. Comput., 2014)

An Embedded Co-AdaBoost based construction of software document relation coupled resource spaces for cyber-physical society. - Jin Liu 016; Juan Li; Xiaoping Sun; Yuan Xie 001; Jeff Yu Lei; Qiping Hu (Future Gener. Comput. Syst., 2014)

A particle swarm optimization using local stochastic search and enhancing diversity for continuous optimization. - Jianli Ding; Jin Liu 016; Kaushik Roy Chowdhury; Wensheng Zhang 002; Qiping Hu; Jeff Yu Lei (Neurocomputing, 2014)

A distributed framework for demand-driven software vulnerability detection. - Dazhi Zhang; Donggang Liu; Christoph Csallner; David Chenho Kung; Yu Lei 001 (J. Syst. Softw., 2014)

Improving IPOG's vertical growth based on a graph coloring scheme. - Feng Duan; Yu Lei 001; Linbin Yu; Raghu N. Kacker; D. Richard Kuhn (ICST Workshops, 2015)

BEN: A combinatorial testing-based fault localization tool. - Laleh Shikh Gholamhossein Ghandehari; Jaganmohan Chandrasekaran; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (ICST Workshops, 2015)

Equivalence class verification and oracle-free testing using two-layer covering arrays. - D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001; Jose Torres-Jimenez (ICST Workshops, 2015)

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. - Jing Xu; Yu Lei 001; Richard H. Carver; David Chenho Kung (ICST, 2015)

Constraint handling in combinatorial test generation using forbidden tuples. - Linbin Yu; Feng Duan; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (ICST Workshops, 2015)

Implementing and Managing Policy Rules in Attribute Based Access Control. - Vincent C. Hu; David F. Ferraiolo; D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001 (IRI, 2015)

Combinatorial Testing: Theory and Practice. - D. Richard Kuhn; Renée C. Bryce; Feng Duan; Laleh Shikh Gholamhossein Ghandehari; Yu Lei 001; Raghu N. Kacker (Adv. Comput., 2015)

Estimating t-Way Fault Profile Evolution During Testing. - D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001 (COMPSAC Workshops, 2016)

An Object-Oriented Analysis and Design Environment. - David Kung; Jeff Yu Lei (CSEE&T, 2016)

Evaluating the Effectiveness of BEN in Localizing Different Types of Software Fault. - Jaganmohan Chandrasekaran; Laleh S. Ghandehari; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (ICST Workshops, 2016)

Pseudo-Exhaustive Testing of Attribute Based Access Control Rules. - D. Richard Kuhn; Vincent C. Hu; David F. Ferraiolo; Raghu N. Kacker; Yu Lei 001 (ICST Workshops, 2016)

The Relationship between Software Bug Type and Number of Factors Involved in Failures. - Zachary B. Ratliff; D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001; Kishor S. Trivedi (ISSRE Workshops, 2016)

Applying combinatorial test data generation to big data applications. - Nan Li 008; Yu Lei 001; Haider Riaz Khan; Jingshu Liu; Yun Guo (ASE, 2016)

A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing. - Dimitris E. Simos; Kristoffer Kleine; Laleh Shikh Gholamhossein Ghandehari; Bernhard Garn; Yu Lei 001 (ICTSS, 2016)

Towards Agile Testing for Railway Safety-critical Software. - Nan Li 008; Jin Guo; Jeff Yu Lei; Yao Li; Chang Rao; YaXin Cao (XP Workshops, 2016)

Measuring and specifying combinatorial coverage of test input configurations. - D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001 (Innov. Syst. Softw. Eng., 2016)

Using combinatorial testing to build navigation graphs for dynamic web applications. - Wenhua Wang; Sreedevi Sampath; Yu Lei 001; Raghu Kacker; D. Richard Kuhn; James Lawrence 001 (Softw. Test. Verification Reliab., 2016)

MirrorDroid: A framework to detect sensitive information leakage in Android by duplicate program execution. - Sarker T. Ahmed Rumee; Donggang Liu; Yu Lei 001 (CISS, 2017)

Applying Combinatorial Testing to Data Mining Algorithms. - Jaganmohan Chandrasekaran; Huadong Feng; Yu Lei 001; D. Richard Kuhn; Raghu Kacker (ICST Workshops, 2017)

Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring. - Feng Duan; Yu Lei 001; Linbin Yu; Raghu N. Kacker; D. Richard Kuhn (ICST Workshops, 2017)

A Model for T-Way Fault Profile Evolution during Testing. - D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001 (ICST Workshops, 2017)

Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver. - Chang Rao; Jin Guo; Nan Li 008; Yu Lei 001; Yadong Zhang; Yao Li; YaXin Cao (ICST Workshops, 2017)

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. - Jing Xu; Yu Lei 001; Richard H. Carver (ICST, 2017)

Testing TLS Using Combinatorial Methods and Execution Framework. - Dimitris E. Simos; Josip Bozic; Feng Duan; Bernhard Garn; Kristoffer Kleine; Yu Lei 001; Franz Wotawa (ICTSS, 2017)

A Method-Level Test Generation Framework for Debugging Big Data Applications. - Huadong Feng; Jaganmohan Chandrasekaran; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (IEEE BigData, 2018)

Combinatorial security testing course. - Dimitris E. Simos; Rick Kuhn; Yu Lei 001; Raghu Kacker (HotSoS, 2018)

Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis. - Chang Rao; Jin Guo; Nan Li 008; Yu Lei 001; Yadong Zhang; Yao Li (QRS, 2018)

Pseudo-Exhaustive Verification of Rule Based Systems. - Rick Kuhn; Dylan Yaga; Raghu Kacker; Jeff Yu Lei; Vincent C. Hu (SEKE, 2018)

Stateless techniques for generating global and local test oracles for message-passing concurrent programs. - Richard H. Carver; Yu Lei 001 (J. Syst. Softw., 2018)

IPSO: A Scaling Model for Data-Intensive Applications. - Zhongwei Li; Feng Duan; Minh Nguyen 003; Hao Che; Yu Lei 001; Hong Jiang 001 (ICDCS, 2019)

An Approach to T-Way Test Sequence Generation With Constraints. - Feng Duan; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (ICST Workshops, 2019)

Weighted Combinatorial Sequence Testing for the TLS Protocol. - Bernhard Garn; Dimitris E. Simos; Feng Duan; Yu Lei 001; Josip Bozic; Franz Wotawa (ICST Workshops, 2019)

Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array. - Chang Rao; Nan Li 008; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn; Jin Guo (ICST Workshops, 2019)

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Marco Radavelli; Feng Duan; Yu Lei 001 (ICTSS, 2019)

M-PCM-OFFD: An effective output statistics estimation method for systems of high dimensional uncertainties subject to low-order parameter interactions. - Junfei Xie; Yan Wan 001; Kevin Mills; James J. Filliben; Yu Lei 001; Zongli Lin (Math. Comput. Simul., 2019)

Testing TLS using planning-based combinatorial methods and execution framework. - Dimitris E. Simos; Josip Bozic; Bernhard Garn; Manuel Leithner; Feng Duan; Kristoffer Kleine; Yu Lei 001; Franz Wotawa (Softw. Qual. J., 2019)

Effectiveness of dataset reduction in testing machine learning algorithms. - Jaganmohan Chandrasekaran; Huadong Feng; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (AITest, 2020)

Combinatorial Methods for Explainable AI. - D. Richard Kuhn; Raghu N. Kacker; Yu Lei 001; Dimitris E. Simos (ICST Workshops, 2020)

General Message from the IWCT Workshop Chairs. - Dimitris E. Simos; Jeff Yu Lei; Changhai Nie (ICST Workshops, 2020)

Input Space Coverage Matters. - Rick Kuhn; Raghu N. Kacker; Yu Lei 001; Dimitris E. Simos (Computer, 2020)

A Combinatorial Testing-Based Approach to Fault Localization. - Laleh Shikh Gholamhossein Ghandehari; Yu Lei 001; Raghu Kacker; D. Richard Kuhn; Tao Xie 001; David Chenho Kung (IEEE Trans. Software Eng., 2020)

Identifying Failure-Causing Schemas in the Presence of Multiple Faults. - Xintao Niu; Changhai Nie; Jeff Yu Lei; Hareton Leung; Xiaoyin Wang (IEEE Trans. Software Eng., 2020)

An Interleaving Approach to Combinatorial Testing and Failure-Inducing Interaction Identification. - Xintao Niu; Changhai Nie; Hareton Leung; Yu Lei 001; Xiaoyin Wang; Jiaxi Xu; Yan Wang (IEEE Trans. Software Eng., 2020)

Evaluation of T-Way Testing of DNNs in Autonomous Driving Systems. - Jaganmohan Chandrasekaran; Ankita Ramjibhai Patel; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (AITest, 2021)

A Combinatorial Approach to Explaining Image Classifiers. - Jaganmohan Chandrasekaran; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (ICST Workshops, 2021)

A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems. - Jaganmohan Chandrasekaran; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (ICST Workshops, 2021)

Unleashing the hidden power of compiler optimization on binary code difference: an empirical study. - Xiaolei Ren 001; Michael Ho; Jiang Ming 002; Yu Lei 001; Li Li 029 (PLDI, 2021)

Z-Fuzzer: device-agnostic fuzzing of Zigbee protocol implementation. - Mengfei Ren 001; Xiaolei Ren 001; Huadong Feng; Jiang Ming 002; Yu Lei 001 (WISEC, 2021)

Factorials Experiments, Covering Arrays, and Combinatorial Testing. - Raghu N. Kacker; D. Richard Kuhn; Yu Lei 001; Dimitris E. Simos (Math. Comput. Sci., 2021)

Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing. - Raghu N. Kacker; D. Richard Kuhn; Yu Lei 001; Dimitris E. Simos (Math. Comput. Sci., 2021)

DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations. - Sunny Shree; Jaganmohan Chandrasekaran; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (AITest, 2022)

One size does not fit all: security hardening of MIPS embedded systems via static binary debloating for shared libraries. - Haotian Zhang; Mengfei Ren 001; Yu Lei 001; Jiang Ming 002 (ASPLOS, 2022)

Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System. - Rui Huang; Chang Rao; Yu Lei 001; Jin Guo; Yadong Zhang (ICST Workshops, 2022)

A Combinatorial Approach to Fairness Testing of Machine Learning Models. - Ankita Ramjibhai Patel; Jaganmohan Chandrasekaran; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (ICST Workshops, 2022)

Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space. - Raghu N. Kacker; D. Richard Kuhn; Yu Lei 001; Dimitris E. Simos (IEEE Softw., 2022)

Enhance Combinatorial Testing With Metamorphic Relations. - Xintao Niu; Yanjie Sun; Huayao Wu; Gang Li; Changhai Nie; Yu Lei 001; Xiaoyin Wang (IEEE Trans. Software Eng., 2022)

A Theory of Pending Schemas in Combinatorial Testing. - Xintao Niu; Huayao Wu; Changhai Nie; Yu Lei 001; Xiaoyin Wang (IEEE Trans. Software Eng., 2022)

Combinatorial Test Generation for Multiple Input Models With Shared Parameters. - Chang Rao; Nan Li 008; Yu Lei 001; Jin Guo; Yadong Zhang; Raghu N. Kacker; D. Richard Kuhn (IEEE Trans. Software Eng., 2022)

SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph. - Qiping Wei; Fadul Sikder; Huadong Feng; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (BRAINS, 2023)

Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference. - Mengfei Ren 001; Haotian Zhang; Xiaolei Ren 001; Jiang Ming 002; Yu Lei 001 (ESORICS (2), 2023)

MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts. - Huadong Feng; Xiaolei Ren 001; Qiping Wei; Yu Lei 001; Raghu Kacker; D. Richard Kuhn; Dimitris E. Simos (ICST, 2023)

Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder. - Krishna Khadka; Jaganmohan Chandrasekaran; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (ICSTW, 2023)

Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing. - Mengfei Ren 001; Xiaolei Ren 001; Huadong Feng; Jiang Ming 002; Yu Lei 001 (DTRAP, 2023)

RATE: A model-based testing approach that combines model refinement and test execution. - Andrea Bombarda; Silvia Bonfanti; Angelo Gargantini; Yu Lei 001; Feng Duan (Softw. Test. Verification Reliab., 2023)

Proxima: A Proxy Model-Based Approach to Influence Analysis. - Sunny Shree; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (AITest, 2024)

A Combinatorial Approach to Hyperparameter Optimization. - Krishna Khadka; Jaganmohan Chandrasekaran; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (CAIN, 2024)

Assessing the Degree of Feature Interactions that Determine a Model Prediction. - Krishna Khadka; Sunny Shree; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (ICSTW, 2024)

Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning. - Sunny Shree; Krishna Khadka; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (ASE, 2024)

Fairness Testing of Machine Learning Models using Combinatorial Testing in Latent Space. - Arjun Dahal; Sunny Shree; Yu Lei 001; Raghu N. Kacker; D. Richard Kuhn (ICSTW, 2025)

Efficient Adaptation of Large Language Models for Smart Contract Vulnerability Detection. - Fadul Sikder; Yu Lei 001; Yuede Ji (PROMISE, 2025)

Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis. - Xiaolei Ren 001; Mengfei Ren 001; Yu Lei 001; Jiang Ming 002 (Proc. ACM Softw. Eng., 2025)

SmartExecutor: Coverage-Driven Symbolic Execution Guided via State Prioritization and Function Selection. - Qiping Wei; Fadul Sikder; Huadong Feng; Yu Lei 001; Raghu Kacker; D. Richard Kuhn (Distributed Ledger Technol. Res. Pract., 2025)