Publications

(For a full list of publications go to Google Scholar)

Conference Papers

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)

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)

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)

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)

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE Phd Protocol using Abstract State Machines
Bombarda, Andrea, Silvia Bonfanti, Angelo Gargantini, Marco Radavelli, Feng Duan, and Yu Lei
Proceedings of 2019 IFIP International Conference on Testing Software and Systems (ICTSS ‘19)

IPSO: A Scaling Model for Data-intensive Applications
Li, Zhongwei, Feng Duan, Minh Nguyen, Hao Che, Yu Lei, and Hong Jiang
Proceedings of 39th IEEE International Conference on Distributed Computing Systems (ICDCS ‘19)

A Method-level Test Generation Framework for Debugging Big Data Application
Feng, Huadong, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker, and D. Richard Kuhn
Proceedings of 2018 IEEE International Conference on Big Data (Big Data ‘18)

Testing TLS using Combinatorial Methods and Execution Framework
Simos, Dimitris E., Josip Bozic, Feng Duan, Bernhard Garn, Kristoffer Kleine, Yu Lei, and Franz Wotawa
Proceedings of 2017 IFIP International Conference on Testing Software and Systems (ICTSS ‘17)

MirrorDroid: A Framework to Detect Sensitive Information Leakage in Android by Duplicate Program Execution
Rumee, Sarker T. Ahmed, Donggang Liu, and Yu Lei
Proceedings of the 51st Annual Conference on Information Sciences and Systems (CISS ‘17)

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures
Xu, Jing, Yu Lei, and Richard Carver
Proceedings of 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST ‘17)

Applying Combinatorial Test Data Generation to Big Data Applications
Li Nan, Yu Lei, Haider Riaz Khan, Jingshu Liu, and Yun Guo.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering (ASE ‘17)

A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
Simos, Dimitris E., Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, and Yu Lei
Proceedings of 2016 IFIP International Conference on Testing Software and Systems (ICTSS ‘16)

An Object-Oriented Analysis and Design Environment
Simos, Dimitris E., Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn, and Yu Lei
Proceedings of 2016 IFIP International Conference on Testing Software and Systems (ICTSS ‘16)

A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
David Kung and Yu Lei
Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training (CSEET ‘16)

Evaluating the Effectiveness of BEN in Locating Different Types of Software Fault
Raghu N. Kacker, David R. Kuhn, Jagan Chandrasekaran, and Yu Lei
Proceedings of 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST ‘16)

Estimating t-Way Fault Profile Evolution During Testing
Kuhn, D. Richard, Raghu N. Kacker, and Yu Lei
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference (COMPSAC ‘16)

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops
Jing Xu, Yu Lei, Richard Carver and David Kung
Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST ‘15)

Effective and Scalable Uncertainty Evaluation for Large-Scale Complex System Applications
Xie Junfei, Yan Wan, Yi Zhou, Kevin Mills, James J. Filliben, and Yu Lei
Proceedings of the 2014 IEEE Winter Simulation Conference

An Improved Image File Storage Method using Data Deduplication
Zhou Lei, Zhaoxin Li, Yu Lei, Yanling Bi, Luokai Hu, and Wenfeng Shen
Proceedings of the 13th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom ‘14)

Combinatorial Test Generation for Software Product Lines using Minimum Invalid Tuples
Linbin Yu, Feng Duan, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 15th IEEE Symposium on High-Assurance Systems Engineering (HASE ‘14)

Fault Localization based on Failure-inducing Combinations
Ghandehari, Laleh Sh, Yu Lei, David Kung, Raghu Kacker, and Richard Kuhn
Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE ‘13)

A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Execution
Xu Jing, Yu Lei, Richard Carver, and David Kung
Proceedings of 2013 International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT ‘13)

A Modular Approach to Model-based Testing of Concurrent Programs
Richard Carver, and Yu Lei
Proceedings of 2013 International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT ‘13)

Social Trust Prediction using Rank-K Matrix Recovery
Jin Huang, Feiping Nie, Heng Huang, Yu Lei, and Chris Ding
Proceedings of the 24th IEEE International Symposium on Software Reliability Engineering (ISSRE ‘13)

A General Conformance Testing Framework for IEEE 11073 PHD’s Communication Model
Yu, Linbin, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, Ram D. Sriram, and Kevin Brady
Proceedings of the 23rd International Joint Conference on Artificial Intelligence

An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation
Yu, Linbin, Yu Lei, Mehra Nourozborazjany, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation (ICST ‘13)

Acts: A Combinatorial Test Generation Tool
Yu, Linbin, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Proceedings of the 6th IEEE International Conference on Software Testing, Verification and Validation (ICST ‘13)

A Multi-objective Scheduling Strategy based on MOGA in Cloud Computing Environment
Lei, Zhou, Jinfeng Xiang, Zhebo Zhou, Feng Duan, and Yu Lei
Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems (CCIS ‘12)

Improved Delta Debugging based on Combinatorial Testing
Li, Jie, Changhai Nie, and Yu Lei
Proceedings of the 12th International Conference on Quality Software (QSIC ‘12)

Efficient ALgorithms for T-Way Test Sequence Generation
Yu, Linbin, Yu Lei, Raghu N. Kacker, D. Richard Kuhn, and James Lawrence
Proceedings of the 17th International Conference on Enigneering of Complex Computer Systems (ICECCS ‘12)

Identifying Failure-inducing Combinations in a Combinatorial Test Set
Ghandehari, Laleh Shikh Gholamhossein, Yu Lei, Tao Xie, Richard Kuhn, and Raghu Kacker
Proceedings of the 5th International Conference on Software Testing, Verification and Validation (ICST ‘12)

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification
Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, and Richard Kuhn
Proceedings of the 5th International Conference on Software Testing, Verification and Validation (ICST ‘12)

A Combinatorial Approach to Detecting Buffer Overflow Vulnerabilities
Wang, Wenhua, Yu Lei, Donggang Liu, David Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, and Rick Kuhn
Proceedings of the 41st IEEE/IFIP International Conference on Dependable Systems & Networks (DSN ‘11)

A Stateful Approach to Testing Monitors in Multithreaded Programs
Carver, Richard H., and Jeff Lei
Proceedings of the 12th IEEE International Conference on High Assurance Systems Engineering (HASE ‘10)

DCMTs: Supporting Dynamically Created Migratory Threads
Yueting Zhu, Wu Zhang, Hai Jiang, Yu Lei and Junjie Peng
Proceedings of the 13th IEEE International Conference on Computational Science and Engineering (CSE ‘10)

Random vs. Combinatorial Methods for Discrete Event Simulation of a Grid Computer Network
Richard Kuhn, Raghu Kacker and Yu Lei
Selected Papers Presented at MODSIM World 2009 Conference and Expo

Testing C Programs for Vulnerability Using Trace-Based Symbolic Execution and Satisfiability Analysis
Zhang, Dazhi, Donggang Liu, Wenhua Wang, Jeff Lei, David Kung, and Christoph Csallner
Proceedings of the 40th IEEE/IFIP International Conference on Dependable Systems & Networks (DSN ‘10)

A Combinatorial Approach to Building Navigation Graphs for Dynamic Web Applications
Wang, Wenhua, Yu Lei, Sreedevi Sampath, Raghu Kacker, Rick Kuhn, and James Lawrence
Proceedings of the 2009 IEEE International Conference on Software Maintenance (ICSM ‘09)

An Interaction-based Test Sequence Generation Approach for Testing Web Applications
Wang, Wenhua, Sreedevi Sampath, Yu Lei, and Raghu Kacker
Proceedings of the 11th IEEE International Conference on High Assurance Systems Engineering (HASE ‘08)

Towards And Evaluation Framework for Assistive Environments
Metsis, Vangelis, Zhengyi Le, Yu Lei, and Fillia Makedon
Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments (PETRA ‘08)

IPOG: A General Strategy for T-Way Software Testing
Lei, Yu, Raghu Kacker, D. Richard Kuhn, Vadim Okun, and James Lawrence
Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-based Systems (ECBS ‘07)

A State Exploration-based Approach to Testing Java Monitors
Lei, Yu, Richard Carver, David Kung, Vidur Gupta, and Monica Hernandez
Proceedings of the 17th IEEE International Symposium on Software Reliability Engineering (ISSRE ‘06)

A New Algorithm for Reachability Testing of Concurrent Programs
Lei, Yu, and Richard Carver
Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE ‘05)

An Approach to Unfolding Asynchronous Communication Protocols
Lei, Yu, and S. Purushothaman Iyer
Proceedings of the 2005 International Symposium on Formal Methods (FM ‘05)

A Blocking-based Approach to Protocol Validation
Lei, Yu, David Kung, and Qizhi Ye
Proceedings of the 29th Annual International Computer Software and Applications Conference (COMPSAC’05)

A Novel Framework for Non-deterministic Testing of Message-passing Programs
Lei, Yu, and Eric Wong
Proceedings of the 9th IEEE International Symposium on High-Assurance Systems Engineering (HASE’05)

Effective Generation of Test Sequences for Structural Testing of Concurrent Programs
Wong, W. Eric, Yu Lei, and Xiao Ma
Proceedings of the 10th IEEE international conference on engineering of complex computer systems (ICECCS’05)

An Evaluation of E-Business Metamodels
Lei, Yu, and Munindar P. Singh
SEKE 2005

A General Model for Reachability Testing of Concurrent Programs
Carver, Richard H., and Yu Lei
Proceedings of the 2004 International Conference on Formal Engineering Methods (FM’04)

Reachability Testing of Semaphore-based Programs
Lei, Yu, and Richard Carver
Proceedings of the 28th Annual International Computer Software and Applications Conference (CMPSAC ‘04)

Efficient Reachability Testing of Asynchronous Message-passing Programs
Lei, Yu, and Kuo-Chung Tai
Proceedings of the 8th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS ‘02)

 

Journal Papers

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)

Measurement of the Adequacy of A Test Suite with Respect to the Modeled Test Space
R. Kacker, D. R. Kuhn, Y. Lei and D. Simos
IEEE Software (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)

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)

Factorials Experiments, Covering Arrays, and Combinatorial Testing
Kacker, R.N., Kuhn, D.R., Lei, Y
Mathematics in Computer Science volume 15 (2021)

Input Space Coverage Matters
R. Kuhn, R. Kacker, Y. Lei, D. Simos
Computer 53.1 (2020)&#58 37-44. (2020)

Testing TLS using Planning-based Combinatorial Methods and Execution Framework
Simos, Dimitris E., Josip Bozic, Bernhard Garn, Manuel Leithner, Feng Duan, Kristoffer Kleine, Yu Lei, and Franz Wotawa
Software Quality Journal 27 (2019)&#58 703-729 (2019)

M-PCM-OFFD: An Effective Output Statistics Estimation Method for Systems of High Dimensional Uncertainties Subject to Low-Order Parameter Interactions, Mathematics and Computers in Simulation
J. Xie, Y. Wan, K. Mills, J. J. Filliben, Y. Lei, Z. Lin
Mathematics and Computers in Simulation Volume 159 (2019)

A Combinatorial Testing-based Approach to Fault Localization
Ghandehari, Laleh Sh, Yu Lei, Raghu Kacker, Richard Kuhn, Tao Xie, and David Kung
IEEE Transactions on Software Engineering (TSE ‘18)

Identifying Failure-causing Schemas in the Presence of Multiple Faults
Niu, Xintao, Changhai Nie, Jeff Y. Lei, Hareton Leung, and Xiaoyin Wang
IEEE Transactions on Software Engineering (TSE ‘18)

An Interleaving Approach to Combinatorial Testing and Failure-inducing Interaction Identification
Niu, Xintao, Changhai Nie, Hareton Leung, Yu Lei, Xiaoyin Wang, Jiaxi Xu, and Yan Wang
IEEE Transactions on Software Engineering (TSE ‘18)

Using Combinatorial Testing to Build Navigation Graphs for Dynamic Web Applications
Wang, Wenhua, Sreedevi Sampath, Yu Lei, Raghu Kacker, Richard Kuhn, and James Lawrence
Software Testing, Verification and Reliability 26.4 (2016)&#58 318-346

Measuring and Specifying Combinatorial Coverage of Test Input Configurations
Kuhn, D. Richard, Raghu N. Kacker, and Yu Lei
Innovations in Systems and Software Engineering 12, 249-261 (2016)

Combinatorial Coverage as An Aspect of Test Quality
Kuhn, D. Richard, Raghu N. Kacker, and Yu Lei
CrossTalk 28.2 (2015)&#58 19-23

Scalable and Efficient Workload Hotspot Detection in Virtualized Environment
Lei, Zhou, Bolin Hu, Jianhua Guo, Luokai Hu, Wenfeng Shen, and Yu Lei
Cluster Computing 17, 1253-1264 (2014)

A Distributed Framework for Demand-driven Software Vulnerability Detection
Zhang, Dazhi, Donggang Liu, Christoph Csallner, David Kung, and Yu Lei
Journal of Systems and Software Volume 87, 60-73 (2014)

Social Trust Prediction using Heterogeneous Networks
Huang, Jin, Feiping Nie, Heng Huang, Yi-Cheng Tu, and Yu Lei
ACM Transactions on Knowledge Discovery from Data, Volume 7, Issue 4, Artical No,17 (2014)

Combinatorial Testing for Software: An Adaptation of Design of Experiments
Kacker, Raghu N., D. Richard Kuhn, Yu Lei, and James F. Lawrence
Measurement, Volume 46, Issue 9 3745-3752 (2013)

SimFuzz: Test Case Similarity Directed Deep Fuzzing
Zhang, Dazhi, Donggang Liu, Yu Lei, David Kung, Christoph Csallner, Nathaniel Nystrom, and Wenhua Wang
Journal of Systems and Software, Volume 85, Issue 1 102-111 (2012)

A Survey of Binary Covering Arrays
Lawrence, Jim, Raghu N. Kacker, Yu Lei, D. Richard Kuhn, and Michael Forbes
The Electronic Journal of COmbinatorics, Volume 18, Issue 1 (2011)

Distributed Reachability Testing of Concurrent Programs
Carver, Richard H., and Yu Lei
Concurrency and Computation&#58 Practice and Experience (2010)

A Class Library for Implementing, Testing, and Debugging Concurrent Programs
Carver, Richard H., and Yu Lei
International Journal on Software Tools for Technology Transfer 12, 69-88 (2010)

Combinatorial Software Testing
Kuhn, Rick, Raghu Kacker, Yu Lei, and Justin Hunter
Journal of Computer, Volume 42, Issue 8 (MC ‘09)

Refining the In-parameter-order Strategy for Constructing Covering Arrays
Forbes, Michael, Jim Lawrence, Yu Lei, Raghu N. Kacker, and D. Richard Kuhn
Journal of Research of the National Institute of Standards and Technology (2008)

Reachability Graph-based Test Sequence Generation fro Concurrent Programs
Wong, W. Eric, and Yu Lei
International Journal of Software Engineering and Knowledge Engineering, Volume 18, No. 06, 803-822 (2008)

IPOG/IPOG-D: Efficient Test Generation for Multi-way Combinatorial Testing
Lei, Yu, Raghu Kacker, D. Richard Kuhn, Vadim Okun, and James Lawrence
Journal of Software&#58 Testing, Verification and Reliability, Volume 18, Issue 3, 125-148 (2008)

Automated Combinatorial Test Methods: Beyond Pairwise Testing
Kuhn, D. Richard, Raghu Kacker, and Yu Lei
Crosstalk, Journal of Defense Software Engineering (2008)

Practical Combinatorial Testing: Beyond Pairwise
Kuhn, Rick, Yu Lei, and Raghu Kacker
Journal of IT Professional, Volume 10, Issue 3, 19-23 (2008)

A Combinatorial Testing Strategy for Concurrent Programs
Lei, Yu, Richard H. Carver, Raghu Kacker, and David Kung
Journal of Software&#58 Testing, Verification and Reliability, Volume 17, Issue 4, 207-225 (2007)

Reachability Testing of Concurrent Programs
Lei, Yu, and Richard H. Carver
IEEE Transactions on Software Engineering (TSE ‘06)

A Blocking-based Approach to Protocol Validation
Ye, Qizhi, Yu Lei, and David Kung
The Computer Journal, Volume 49, Issue 5, 541-553 (2006)

 

Book Chapters

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

 

Workshops/Demos/Abstracts/Posters

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)