Yu Lei - RankMe

132 papers A* 5A 18B 7C 5Misc 4Journal 39Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A Combinatorial Approach to Synthetic Data Generation for Machine Learning. SN Comput. Sci. Krishna Khadka, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, D. Richard Kuhn
2026	—	`conf`	ABLE: Using Adversarial Pairs to Construct Local Models for Explaining Model Predictions. KDD (1) Krishna Khadka, Sunny Shree, Pujan Budhathoki, Yu Lei, Raghu Kacker, D. Richard Kuhn
2026	J	`jnl`	DD-CAM: Minimal Sufficient Explanations for Vision Models Using Delta Debugging. CoRR Krishna Khadka, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2026	J	`jnl`	TabKD: Tabular Knowledge Distillation through Interaction Diversity of Learned Feature Bins. CoRR Shovon Niverd Pereira, Krishna Khadka, Yu Lei
2025	J	`jnl`	ABLE: Using Adversarial Pairs to Construct Local Models for Explaining Model Predictions. CoRR Krishna Khadka, Sunny Shree, Pujan Budhathoki, Yu Lei, Raghu Kacker, D. Richard Kuhn
2025	—	`conf`	Efficient Adaptation of Large Language Models for Smart Contract Vulnerability Detection. PROMISE Fadul Sikder, Yu Lei, Yuede Ji
2025	—	`conf`	Fairness Testing of Machine Learning Models using Combinatorial Testing in Latent Space. ICSTW Arjun Dahal, Sunny Shree, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2025	J	`jnl`	Revisiting Optimization-Resilience Claims in Binary Diffing Tools: Insights from LLVM Peephole Optimization Analysis. Proc. ACM Softw. Eng. Xiaolei Ren, Mengfei Ren, Yu Lei, Jiang Ming
2025	J	`jnl`	SmartExecutor: Coverage-Driven Symbolic Execution Guided via State Prioritization and Function Selection. Distributed Ledger Technol. Res. Pract. Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, D. Richard Kuhn
2024	B	`conf`	A Combinatorial Approach to Hyperparameter Optimization. CAIN Krishna Khadka, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2024	—	`conf`	Assessing the Degree of Feature Interactions that Determine a Model Prediction. ICSTW Krishna Khadka, Sunny Shree, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2024	A*	`conf`	Constructing Surrogate Models in Machine Learning Using Combinatorial Testing and Active Learning. ASE Sunny Shree, Krishna Khadka, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2024	—	`conf`	Proxima: A Proxy Model-Based Approach to Influence Analysis. AITest Sunny Shree, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2023	—	`conf`	Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference. ESORICS (2) Mengfei Ren, Haotian Zhang, Xiaolei Ren, Jiang Ming, Yu Lei
2023	A	`conf`	MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts. ICST Huadong Feng, Xiaolei Ren, Qiping Wei, Yu Lei, Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos
2023	J	`jnl`	RATE: A model-based testing approach that combines model refinement and test execution. Softw. Test. Verification Reliab. Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Yu Lei, Feng Duan
2023	J	`jnl`	Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing. DTRAP Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei
2023	—	`conf`	SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph. BRAINS Qiping Wei, Fadul Sikder, Huadong Feng, Yu Lei, Raghu Kacker, D. Richard Kuhn
2023	—	`conf`	Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder. ICSTW Krishna Khadka, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2022	—	`conf`	A Combinatorial Approach to Fairness Testing of Machine Learning Models. ICST Workshops Ankita Ramjibhai Patel, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2022	J	`jnl`	A Theory of Pending Schemas in Combinatorial Testing. IEEE Trans. Software Eng. Xintao Niu, Huayao Wu, Changhai Nie, Yu Lei, Xiaoyin Wang
2022	—	`conf`	Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System. ICST Workshops Rui Huang, Chang Rao, Yu Lei, Jin Guo, Yadong Zhang
2022	J	`jnl`	Combinatorial Test Generation for Multiple Input Models With Shared Parameters. IEEE Trans. Software Eng. Chang Rao, Nan Li, Yu Lei, Jin Guo, Yadong Zhang, Raghu N. Kacker, D. Richard Kuhn
2022	—	`conf`	DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations. AITest Sunny Shree, Jaganmohan Chandrasekaran, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2022	J	`jnl`	Enhance Combinatorial Testing With Metamorphic Relations. IEEE Trans. Software Eng. Xintao Niu, Yanjie Sun, Huayao Wu, Gang Li, Changhai Nie, Yu Lei, Xiaoyin Wang
2022	J	`jnl`	Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space. IEEE Softw. Raghu N. Kacker, D. Richard Kuhn, Yu Lei, Dimitris E. Simos
2022	A*	`conf`	One size does not fit all: security hardening of MIPS embedded systems via static binary debloating for shared libraries. ASPLOS Haotian Zhang, Mengfei Ren, Yu Lei, Jiang Ming
2021	—	`conf`	A Combinatorial Approach to Explaining Image Classifiers. ICST Workshops Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, D. Richard Kuhn
2021	—	`conf`	A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems. ICST Workshops Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, D. Richard Kuhn
2021	J	`jnl`	Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing. Math. Comput. Sci. Raghu N. Kacker, D. Richard Kuhn, Yu Lei, Dimitris E. Simos
2021	—	`conf`	Evaluation of T-Way Testing of DNNs in Autonomous Driving Systems. AITest Jaganmohan Chandrasekaran, Ankita Ramjibhai Patel, Yu Lei, Raghu Kacker, D. Richard Kuhn
2021	J	`jnl`	Factorials Experiments, Covering Arrays, and Combinatorial Testing. Math. Comput. Sci. Raghu N. Kacker, D. Richard Kuhn, Yu Lei, Dimitris E. Simos
2021	J	`jnl`	Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study. CoRR Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, Li Li
2021	A*	`conf`	Unleashing the hidden power of compiler optimization on binary code difference: an empirical study. PLDI Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, Li Li
2021	—	`conf`	Z-Fuzzer: device-agnostic fuzzing of Zigbee protocol implementation. WISEC Mengfei Ren, Xiaolei Ren, Huadong Feng, Jiang Ming, Yu Lei
2020	J	`jnl`	A Combinatorial Testing-Based Approach to Fault Localization. IEEE Trans. Software Eng. Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn, Tao Xie, David Chenho Kung
2020	J	`jnl`	An Interleaving Approach to Combinatorial Testing and Failure-Inducing Interaction Identification. IEEE Trans. Software Eng. Xintao Niu, Changhai Nie, Hareton Leung, Yu Lei, Xiaoyin Wang, Jiaxi Xu, Yan Wang
2020	—	`conf`	Combinatorial Methods for Explainable AI. ICST Workshops D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Dimitris E. Simos
2020	—	`conf`	Effectiveness of dataset reduction in testing machine learning algorithms. AITest Jaganmohan Chandrasekaran, Huadong Feng, Yu Lei, Raghu Kacker, D. Richard Kuhn
2020	J	`jnl`	Input Space Coverage Matters. Computer Rick Kuhn, Raghu N. Kacker, Yu Lei, Dimitris E. Simos
2019	—	`conf`	An Approach to T-Way Test Sequence Generation With Constraints. ICST Workshops Feng Duan, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2019	C	`conf`	Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, Yu Lei
2019	A	`conf`	IPSO: A Scaling Model for Data-Intensive Applications. ICDCS Zhongwei Li, Feng Duan, Minh Nguyen, Hao Che, Yu Lei, Hong Jiang
2019	J	`jnl`	M-PCM-OFFD: An effective output statistics estimation method for systems of high dimensional uncertainties subject to low-order parameter interactions. Math. Comput. Simul. Junfei Xie, Yan Wan, Kevin Mills, James J. Filliben, Yu Lei, Zongli Lin
2019	J	`jnl`	Testing TLS using planning-based combinatorial methods and execution framework. Softw. Qual. J. Dimitris E. Simos, Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, Franz Wotawa
2019	—	`conf`	Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array. ICST Workshops Chang Rao, Nan Li, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, Jin Guo
2019	—	`conf`	Weighted Combinatorial Sequence Testing for the TLS Protocol. ICST Workshops Bernhard Garn, Dimitris E. Simos, Feng Duan, Yu Lei, Josip Bozic, Franz Wotawa
2018	—	`conf`	A Method-Level Test Generation Framework for Debugging Big Data Applications. IEEE BigData Huadong Feng, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, D. Richard Kuhn
2018	—	`conf`	Combinatorial security testing course. HotSoS Dimitris E. Simos, Rick Kuhn, Yu Lei, Raghu Kacker
2018	C	`conf`	Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis. QRS Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li
2018	J	`jnl`	Stateless techniques for generating global and local test oracles for message-passing concurrent programs. J. Syst. Softw. Richard H. Carver, Yu Lei
2017	—	`conf`	A Model for T-Way Fault Profile Evolution during Testing. ICST Workshops D. Richard Kuhn, Raghu N. Kacker, Yu Lei
2017	—	`conf`	Applying Combinatorial Testing to Data Mining Algorithms. ICST Workshops Jaganmohan Chandrasekaran, Huadong Feng, Yu Lei, D. Richard Kuhn, Raghu Kacker
2017	—	`conf`	Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver. ICST Workshops Chang Rao, Jin Guo, Nan Li, Yu Lei, Yadong Zhang, Yao Li, Yaxin Cao
2017	Misc	`conf`	MirrorDroid: A framework to detect sensitive information leakage in Android by duplicate program execution. CISS Sarker T. Ahmed Rumee, Donggang Liu, Yu Lei
2017	—	`conf`	Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring. ICST Workshops Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn
2017	C	`conf`	Testing TLS Using Combinatorial Methods and Execution Framework. ICTSS Dimitris E. Simos, Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, Franz Wotawa
2017	A	`conf`	Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. ICST Jing Xu, Yu Lei, Richard H. Carver
2016	C	`conf`	A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing. ICTSS Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, Yu Lei
2016	A*	`conf`	Applying combinatorial test data generation to big data applications. ASE Nan Li, Yu Lei, Haider Riaz Khan, Jingshu Liu, Yun Guo
2016	—	`conf`	Estimating t-Way Fault Profile Evolution During Testing. COMPSAC Workshops D. Richard Kuhn, Raghu N. Kacker, Yu Lei
2016	—	`conf`	Evaluating the Effectiveness of BEN in Localizing Different Types of Software Fault. ICST Workshops Jaganmohan Chandrasekaran, Laleh S. Ghandehari, Yu Lei, Raghu Kacker, D. Richard Kuhn
2016	J	`jnl`	Measuring and specifying combinatorial coverage of test input configurations. Innov. Syst. Softw. Eng. D. Richard Kuhn, Raghu N. Kacker, Yu Lei
2016	—	`conf`	Pseudo-Exhaustive Testing of Attribute Based Access Control Rules. ICST Workshops D. Richard Kuhn, Vincent C. Hu, David F. Ferraiolo, Raghu N. Kacker, Yu Lei
2016	—	`conf`	The Relationship between Software Bug Type and Number of Factors Involved in Failures. ISSRE Workshops Zachary B. Ratliff, D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Kishor S. Trivedi
2016	J	`jnl`	Using combinatorial testing to build navigation graphs for dynamic web applications. Softw. Test. Verification Reliab. Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence
2015	A	`conf`	A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops. ICST Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung
2015	—	`conf`	BEN: A combinatorial testing-based fault localization tool. ICST Workshops Laleh Shikh Gholamhossein Ghandehari, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, D. Richard Kuhn
2015	J	`jnl`	Combinatorial Testing: Theory and Practice. Adv. Comput. D. Richard Kuhn, Renée C. Bryce, Feng Duan, Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu N. Kacker
2015	—	`conf`	Constraint handling in combinatorial test generation using forbidden tuples. ICST Workshops Linbin Yu, Feng Duan, Yu Lei, Raghu N. Kacker, D. Richard Kuhn
2015	—	`conf`	Equivalence class verification and oracle-free testing using two-layer covering arrays. ICST Workshops D. Richard Kuhn, Raghu N. Kacker, Yu Lei, Jose Torres-Jimenez
2015	Misc	`conf`	Implementing and Managing Policy Rules in Attribute Based Access Control. IRI Vincent C. Hu, David F. Ferraiolo, D. Richard Kuhn, Raghu N. Kacker, Yu Lei
2015	—	`conf`	Improving IPOG's vertical growth based on a graph coloring scheme. ICST Workshops Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker, D. Richard Kuhn
2014	J	`jnl`	A distributed framework for demand-driven software vulnerability detection. J. Syst. Softw. Dazhi Zhang, Donggang Liu, Christoph Csallner, David Chenho Kung, Yu Lei
2014	—	`conf`	An Empirical Comparison of Combinatorial and Random Testing. ICST Workshops Laleh S. Ghandehari, Jacek Czerwonka, Yu Lei, Soheil Shafiee, Raghu Kacker, D. Richard Kuhn
2014	B	`conf`	An Improved Image File Storage Method Using Data Deduplication. TrustCom Zhou Lei, Zhaoxin Li, Yu Lei, Yanling Bi, Luokai Hu, Wenfeng Shen
2014	—	`conf`	Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples. HASE Linbin Yu, Feng Duan, Yu Lei, Raghu Kacker, D. Richard Kuhn
2014	Misc	`conf`	Effective and scalable uncertainty evaluation for large-scale complex system applications. WSC Junfei Xie, Yan Wan, Yi Zhou, Kevin Mills, James J. Filliben, Yu Lei
2014	—	`conf`	Estimating Fault Detection Effectiveness. ICST Workshops Rick Kuhn, Raghu Kacker, Yu Lei
2014	J	`jnl`	Scalable and efficient workload hotspot detection in virtualized environment. Clust. Comput. Zhou Lei, Bolin Hu, Jianhua Guo, Luokai Hu, Wenfeng Shen, Yu Lei
2013	—	`conf`	A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions. MUSEPAT Jing Xu, Yu Lei, Richard H. Carver, David Chenho Kung
2013	—	`conf`	A Modular Approach to Model-Based Testing of Concurrent Programs. MUSEPAT Richard H. Carver, Yu Lei
2013	—	`conf`	A general conformance testing framework for IEEE 11073 PHD's communication model. PETRA Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn, Ram D. Sriram, Kevin Brady
2013	A	`conf`	ACTS: A Combinatorial Test Generation Tool. ICST Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn
2013	A	`conf`	An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation. ICST Linbin Yu, Yu Lei, Mehra Nouroz Borazjany, Raghu Kacker, D. Richard Kuhn
2013	—	`conf`	An Input Space Modeling Methodology for Combinatorial Testing. ICST Workshops Mehra N. Borazjany, Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker, Rick Kuhn
2013	—	`conf`	Applying Combinatorial Testing to the Siemens Suite. ICST Workshops Laleh Shikh Gholamhossein Ghandehari, Mehra N. Borazjany, Yu Lei, Raghu Kacker, D. Richard Kuhn
2013	A	`conf`	CCM: A Tool for Measuring Combinatorial Coverage of System State Space. ESEM Itzel Dominguez Mendoza, D. Richard Kuhn, Raghu Kacker, Yu Lei
2013	—	`conf`	Combinatorial Coverage Measurement Concepts and Applications. ICST Workshops D. Richard Kuhn, Itzel Dominguez Mendoza, Raghu Kacker, Yu Lei
2013	A	`conf`	Fault localization based on failure-inducing combinations. ISSRE Laleh Shikh Gholamhossein Ghandehari, Yu Lei, David Chenho Kung, Raghu Kacker, D. Richard Kuhn
2013	—	`conf`	Identifying Failure-Inducing Combinations Using Tuple Relationship. ICST Workshops Xintao Niu, Changhai Nie, Yu Lei, Alvin T. S. Chan
2013	A*	`conf`	Social Trust Prediction Using Rank-k Matrix Recovery. IJCAI Jin Huang, Feiping Nie, Heng Huang, Yu Lei, Chris H. Q. Ding
2013	J	`jnl`	Social trust prediction using heterogeneous networks. ACM Trans. Knowl. Discov. Data Jin Huang, Feiping Nie, Heng Huang, Yi-Cheng Tu, Yu Lei
2012	—	`conf`	A multi-objective scheduling strategy based on MOGA in cloud computing environment. CCIS Zhou Lei, Jinfeng Xiang, Zhebo Zhou, Feng Duan, Yu Lei
2012	A	`conf`	Combinatorial Methods for Event Sequence Testing. ICST D. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei
2012	A	`conf`	Combinatorial Testing of ACTS: A Case Study. ICST Mehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn
2012	B	`conf`	Efficient Algorithms for T-way Test Sequence Generation. ICECCS Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence
2012	A	`conf`	Identifying Failure-Inducing Combinations in a Combinatorial Test Set. ICST Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker
2012	—	`conf`	Improved Delta Debugging Based on Combinatorial Testing. QSIC Jie Li, Changhai Nie, Yu Lei
2012	A	`conf`	Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. ICST Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn
2012	J	`jnl`	SimFuzz: Test case similarity directed deep fuzzing. J. Syst. Softw. Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang
2011	J	`jnl`	A Survey of Binary Covering Arrays. Electron. J. Comb. Jim Lawrence, Raghu Kacker, Yu Lei, D. Richard Kuhn, Michael A. Forbes
2011	A	`conf`	A combinatorial approach to detecting buffer overflow vulnerabilities. DSN Wenhua Wang, Yu Lei, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn
2010	J	`jnl`	A class library for implementing, testing, and debugging concurrent programs. Int. J. Softw. Tools Technol. Transf. Richard H. Carver, Yu Lei
2010	A	`conf`	Detecting vulnerabilities in C programs using trace-based testing. DSN Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang
2010	J	`jnl`	Distributed reachability testing of concurrent programs. Concurr. Comput. Pract. Exp. Richard H. Carver, Yu Lei
2009	—	`conf`	A combinatorial approach to building navigation graphs for dynamic web applications. ICSM Wenhua Wang, Yu Lei, Sreedevi Sampath, Raghu Kacker, Rick Kuhn, James Lawrence
2009	Misc	`conf`	Abstraction of multiple executions of object-oriented programs. SAC Chunying Zhao, Kang Zhang, Yu Lei
2009	J	`jnl`	Combinatorial Software Testing. Computer Rick Kuhn, Raghu Kacker, Yu Lei, Justin Hunter
2008	—	`conf`	An Interaction-Based Test Sequence Generation Approach for Testing Web Applications. HASE Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker
2008	J	`jnl`	IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. Softw. Test. Verification Reliab. Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence
2008	J	`jnl`	Practical Combinatorial Testing: Beyond Pairwise. IT Prof. Rick Kuhn, Yu Lei, Raghu Kacker
2008	J	`jnl`	Reachability Graph-Based Test Sequence Generation for Concurrent Programs. Int. J. Softw. Eng. Knowl. Eng. W. Eric Wong, Yu Lei
2008	A	`conf`	Reusing Existing Test Cases for Security Testing. ISSRE Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung
2008	—	`conf`	Towards an evaluation framework for assistive environments. PETRA Vangelis Metsis, Zhengyi Le, Yu Lei, Fillia Makedon
2007	J	`jnl`	A combinatorial testing strategy for concurrent programs. Softw. Test. Verification Reliab. Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung
2007	—	`conf`	IPOG: A General Strategy for T-Way Software Testing. ECBS Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence
2006	J	`jnl`	A Blocking-based Approach to Protocol Validation. Comput. J. Qizhi Ye, Yu Lei, David Chenho Kung
2006	A	`conf`	A State Exploration-Based Approach to Testing Java Monitors. ISSRE Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez
2006	J	`jnl`	Reachability Testing of Concurrent Programs. IEEE Trans. Software Eng. Yu Lei, Richard H. Carver
2005	—	`conf`	A Blocking-Based Approach to Protocol Validation. COMPSAC (1) Yu Lei, David Chenho Kung, Qizhi Ye
2005	A	`conf`	A New Algorithm for Reachability Testing of Concurrent Programs. ISSRE Yu Lei, Richard H. Carver
2005	—	`conf`	A Novel Framework for Non-Deterministic Testing of Message-Passing Programs. HASE Yu Lei, W. Eric Wong
2005	B	`conf`	An Approach to Unfolding Asynchronous Communication Protocols. FM Yu Lei, S. Purushothaman Iyer
2005	B	`conf`	Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. ICECCS W. Eric Wong, Yu Lei, Xiao Ma
2004	C	`conf`	A General Model for Reachability Testing of Concurrent Programs. ICFEM Richard H. Carver, Yu Lei
2004	B	`conf`	Reachability Testing of Semaphore-Based Programs. COMPSAC Yu Lei, Richard H. Carver
2004	—	`conf`	Reachability testing of monitor-based programs. IASTED Conf. on Software Engineering and Applications Yu Lei, Richard H. Carver
2002	J	`jnl`	A Test Generation Strategy for Pairwise Testing. IEEE Trans. Software Eng. Kuo-Chung Tai, Yu Lei
2002	A	`conf`	Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. ISSRE Yu Lei, Kuo-Chung Tai
2002	B	`conf`	Efficient Reachability Testing of Asynchronous Message-Passing Programs. ICECCS Yu Lei, Kuo-Chung Tai
1998	—	`conf`	In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. HASE Yu Lei, Kuo-Chung Tai