Yu Lei

发表

Combinatorial Testing: Theory and Practice

Feng Duan, Jeff Yu Lei, Raghu Kacker, 2015, Adv. Comput..

Yu Lei, D. Richard Kuhn, Raghu N. Kacker, 2013 .

A novel framework for non-deterministic testing of message-passing programs

Yu Lei, W. Eric Wong, W. E. Wong, 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

Chapter 14 Combinatorial Testing

Renée C. Bryce, R. Bryce, Yu Lei, 2009 .

Combinatorial testing for software used in metrology

Yu Lei, D. Richard Kuhn, Raghu N. Kacker, 2012 .

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

D. Richard Kuhn, Raghu N. Kacker, Dimitris E. Simos, 2021, Math. Comput. Sci..

General message from the workshop organizers - IWCT

Angelo Gargantini, D. Richard Kuhn, Raghu N. Kacker, 2015, ICSTW 2015.

DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations

D. R. Kuhn, Yu Lei, R. Kacker, 2022, 2022 IEEE International Conference On Artificial Intelligence Testing (AITest).

A Combinatorial Approach to Fairness Testing of Machine Learning Models

D. R. Kuhn, Yu Lei, R. Kacker, 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Factorials Experiments, Covering Arrays, and Combinatorial Testing

D. Richard Kuhn, Raghu N. Kacker, Dimitris E. Simos, 2021, Mathematics in Computer Science.

Distributed reachability testing of concurrent programs

Richard H. Carver, Yu Lei, Yu Lei, 2010, Concurr. Comput. Pract. Exp..

Reachability testing of concurrent programs

Richard H. Carver, Yu Lei, Yu Lei, 2006, IEEE Transactions on Software Engineering.

FactorialsExperiments,CoveringArrays, andCombinatorial Testing

Yu Lei, R. Kacker, D. Simos, 2021 .

M-PCM-OFFD: An effective output statistics estimation method for systems of high dimensional uncertainties subject to low-order parameter interactions

James J. Filliben, Yu Lei, Yan Wan, 2019, Math. Comput. Simul..

Effective and scalable uncertainty evaluation for large-scale complex system applications

Yi Zhou, James J. Filliben, Yu Lei, 2014, Proceedings of the Winter Simulation Conference 2014.

Social Trust Prediction Using Rank-k Matrix Recovery

Feiping Nie, Chris H. Q. Ding, Heng Huang, 2013, IJCAI.

Learning to Adapt Credible Knowledge in Cross-lingual Sentiment Analysis

Yu Lei, Yanxiang He, Qiang Chen, 2015, ACL.

Social trust prediction using heterogeneous networks

Feiping Nie, Heng Huang, Yu Lei, 2013, TKDD.

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

Feng Duan, Yu Lei, A. Gargantini, 2022, Software testing, verification & reliability.

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines

Feng Duan, Angelo Gargantini, Yu Lei, 2019, ICTSS.

Practical Combinatorial Testing

Yu Lei, Raghu N. Kacker, David R. Kuhn, 2010 .

SP 800-142. Practical Combinatorial Testing

Yu Lei, D. Richard Kuhn, Raghu N. Kacker, 2010 .

Tracking and Control of Software Testing Project

Yu Lei, He Jian-ying, Yan Hai-hua, 2007 .

DCMTs: Supporting Dynamically Created Migratory Threads

Hai Jiang, Wu Zhang, Junjie Peng, 2010, 2010 13th IEEE International Conference on Computational Science and Engineering.

A Time-Series Based Precopy Approach for Live Migration of Virtual Machines

Dong Xu, Zhou Lei, Yu Lei, 2011, 2011 IEEE 17th International Conference on Parallel and Distributed Systems.

Combinatorial Methods for Explainable AI

Raghu Kacker, D. Richard Kuhn, Dimitris E. Simos, 2020, 2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Detecting vulnerabilities in C programs using trace-based testing

Wenhua Wang, David Chenho Kung, Donggang Liu, 2010, 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN).

Input Space Coverage Matters

Raghu N. Kacker, Dimitris Simos, Rick Kuhn, 2020, Computer.

Implementing and Managing Policy Rules in Attribute Based Access Control

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2015, 2015 IEEE International Conference on Information Reuse and Integration.

An Approach to T-Way Test Sequence Generation With Constraints

Jeff Yu Lei, D. Richard Kuhn, Raghu Kacker, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

ACTS: A Combinatorial Test Generation Tool

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation.

Combinatorial Methods for Event Sequence Testing

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Combinatorial Software Testing

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2009, Computer.

Efficient reachability testing of asynchronous message-passing programs

Yu Lei, Kuo-Chung Tai, K. Tai, 2002, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings..

Reachability Analysis and Testing of Asynchronous Message-Passing Programs

Yu Lei, Yu Lei, 2002 .

Reachability Graph-Based Test Sequence Generation for Concurrent Programs

Yu Lei, W. Eric Wong, W. E. Wong, 2008, Int. J. Softw. Eng. Knowl. Eng..

A blocking-based approach to protocol validation

David Chenho Kung, Yu Lei, Qizhi Ye, 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

Constraint handling in combinatorial test generation using forbidden tuples

Feng Duan, Jeff Yu Lei, Raghu Kacker, 2015, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

IPOG: A General Strategy for T-Way Software Testing

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

An efficient and flexible task management for many cores

Yu Lei, Fan Dongrui, Yuan Nan, 2011, HIPEAC 2011.

Unleashing the hidden power of compiler optimization on binary code difference: an empirical study

Jiang Ming, Li Li, Yu Lei, 2021, PLDI.

IPOG/IPOG‐D: efficient test generation for multi‐way combinatorial testing

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2008, Softw. Test. Verification Reliab..

A combinatorial approach to building navigation graphs for dynamic web applications

Wenhua Wang, Jeff Yu Lei, Raghu Kacker, 2009, 2009 IEEE International Conference on Software Maintenance.

One size does not fit all: security hardening of MIPS embedded systems via static binary debloating for shared libraries

Yu Lei, Haotian Zhang, Mengfei Ren, 2022, ASPLOS.

Combinatorial Testing of ACTS: A Case Study

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Advanced Combinatorial Test Methods for System Reliability

Yu Lei, D. Richard Kuhn, Raghu N. Kacker, 2010 .

Combinatorial coverage as an aspect of test quality

Yu Lei, D. Richard Kuhn, Raghu N. Kacker, 2015 .

Combinatorial Coverage Measurement Concepts and Applications

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

A Combinatorial Approach to Explaining Image Classifiers

D. Richard Kuhn, Raghu Kacker, D. R. Kuhn, 2021, 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

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

D. Richard Kuhn, Raghu Kacker, D. R. Kuhn, 2021, 2021 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver

Yu Lei, Yao Li, Jin Guo, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

The Relationship between Software Bug Type and Number of Factors Involved in Failures

Raghu Kacker, Kishor S. Trivedi, Yu Lei, 2016, 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

An Input Space Modeling Methodology for Combinatorial Testing

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Applying Combinatorial Testing to the Siemens Suite

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

IPOG-IPOG-D: efficient test generation for multi-way combinatorial testing

Yu Lei, D. Richard Kuhn, Raghu N. Kacker, 2008 .

Practical Combinatorial Testing: Beyond Pairwise

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2008, IT Professional.

Using combinatorial testing to build navigation graphs for dynamic web applications

Wenhua Wang, Jeff Yu Lei, Raghu Kacker, 2016, Softw. Test. Verification Reliab..

Combinatorial Testing for Software: an Adaptation of Design of Experiments

D. Richard Kuhn, Raghu N. Kacker, Jim Lawrence, 2013 .

An Interaction-Based Test Sequence Generation Approach for Testing Web Applications

Wenhua Wang, Jeff Yu Lei, Raghu Kacker, 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.

In-parameter-order: a test generation strategy for pairwise testing

Yu Lei, Kuo-Chung Tai, K. Tai, 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

A Test Generation Strategy for Pairwise Testing

Yu Lei, Kuo-Chung Tai, K. Tai, 2002, IEEE Trans. Software Eng..

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System

Yu Lei, Yadong Zhang, Jin Guo, 2022, 2022 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis

Yu Lei, Nan Li, Yao Li, 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS).

Effectiveness of dataset reduction in testing machine learning algorithms

D. Richard Kuhn, Raghu Kacker, D. R. Kuhn, 2020, 2020 IEEE International Conference On Artificial Intelligence Testing (AITest).

Weighted Combinatorial Sequence Testing for the TLS Protocol

Franz Wotawa, Josip Bozic, Bernhard Garn, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Testing TLS using planning-based combinatorial methods and execution framework

Feng Duan, Yu Lei, Bernhard Garn, 2018, Software Quality Journal.

Testing TLS Using Combinatorial Methods and Execution Framework

Feng Duan, Yu Lei, Franz Wotawa, 2017, ICTSS.

A Model for T-Way Fault Profile Evolution during Testing

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

A distributed framework for demand-driven software vulnerability detection

David Chenho Kung, Donggang Liu, Yu Lei, 2014, J. Syst. Softw..

Applying Combinatorial Testing to Data Mining Algorithms

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Content-based Influence Modeling for Opinion Behavior Prediction

Yu Lei, Wenjie Li, Zhitao Wang, 2016, COLING.

Effective generation of test sequences for structural testing of concurrent programs

Xiao Ma, Yu Lei, W. Eric Wong, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).

Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples

Feng Duan, Jeff Yu Lei, Raghu Kacker, 2014, 2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.

A combinatorial approach to detecting buffer overflow vulnerabilities

Wenhua Wang, Jeff Yu Lei, Raghu Kacker, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN).

A combinatorial testing strategy for concurrent programs

D. Kung, Yu Lei, R. Kacker, 2007, Softw. Test. Verification Reliab..

Reachability testing of concurrent programs

Yu Lei, R. Carver, 2006, IEEE Transactions on Software Engineering.

Estimating t-Way Fault Profile Evolution During Testing

Jeff Yu Lei, Raghu Kacker, D. Richard Kuhn, 2016, 2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC).

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops

Jing Xu, Richard H. Carver, David Chenho Kung, 2015, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST).

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures

Jing Xu, Richard H. Carver, Yu Lei, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Effective generation of test sequences for structural testing of concurrent programs

Yu Lei, W. Wong, Xiao Ma, 2005, 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05).