Note that this webpage is no longer maintained. A more recent list of publications is maintained here or here.

Book
  1. D. R. Kuhn, R. N. Kacker, Y. Lei, Introduction to Combinatorial Testing, CRC Press, June 2013.
Book Chapters
  1. D. R Kuhn, R. Bryce, F. Duan, L. Ghandehari, Y. Lei, R. N. Kacker, Combinatorial Testing, Theory and Practice, Advances in Computers, 99:1-16, 2015.
  2. J. Xie, Y. Wan, Y. Zhou, K. Mills, J. J. Filliben, and Y. Lei, Effective Uncertainty Evaluation in Large-Scale Systems, Principles of Cyber-Physical Systems, Cambridge University Press, in press, 2015.
  3. L. Yu, Y. Lei. Algorithms for Covering Array Construction. Chapter 15, Introduction to Combinatorial Testing, CRC Press, June 2013.
  4. D. R. Kuhn, R. N. Kacker, Y. Lei. Combinatorial Testing. In Encyclopedia of Software Engineering. Taylor and Francis: New York, Published online: 25 Jun 2012; 1-12.
  5. R. Bryce, Y. Lei, D.R. Kuhn, R. Kacker, "Combinatorial Testing", Chapter. 14, Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization, Ramachandran, IGI Global, 2009.
Journal and Magazine Articles (after joining UTA)
  1. L. Ghandehari, Y. Lei, R. Kacker, R. Kuhn, T. Xie, D. Kung. A Combinatorial Testing-Based Approach to Fault Localization. Accepted for pubication in IEEE Transactions on Software Engineering, 2018.
  2. X. Niu, C. Nie, Y. Lei, H. Leung. X. Wang. Identifying Failure-Causing Schemas in the Presence of Multiple Faults. Accepted for publication in IEEE Transactions on Software Engineering, 2018.
  3. X. Niu, C. Nie, H. Leung, Y. Lei, X. Wang, J. Xu, Y. Wang. An Interleaving Approach to Combinatorial Testing and Failure-inducing Interaction Identification. Accepted for publication in IEEE Transactions on Software Engineering, 2018.
  4. D. E. Simos, J. Bozic, B. Garn, M. Leithner, F. Duan, K. Kleine, Y. Lei, F. Wotawa, Testing TLS Using Planning-Based Combinatorial Methods and Execution Framework, accepted for publication in Software Quality Journal, 22 pages, May 2018.
  5. W. Wang, S. Sampath, Y. Lei, R. Kacker, D. R. Kuhn, J. Lawrence. Using combinatorial testing to build navigation graphs for dynamic web applications, Journal of Software Testing, Verification, and Reliability, 26(4):318-346, 2016.
  6. D. R. Kuhn, R. N. Kacker and Y. Lei, Measuring and Specifying Combinatorial Coverage of Test Input Configurations, Innovations in Systems and Software Engineering: a NASA journal, 12(4):249-261, 2015.
  7. D. R. Kuhn, R. N. Kacker, Y. Lei, Combinatorial Coverage as an Aspect of Test Quality, CrossTalk: The Journal of Defense Software Engineering, Mar/April 2015.
  8. Z. Lei, B. Hu, J. Guo, L. Hu, W. Shen, Y. Lei, Scalable and efficient workload hotspot detection in virtualized environment, Cluster Computing, 17:1253-1264, November 2014.
  9. D. Zhang, D. Liu, C. Csallner, D. Kung, Y. Lei, Demand-Driven Security Testing for C Programs, 87(1):60-73, Journal of Systems & Software, 2013.
  10. J. Huang, F. Nie, H. Huang, Y. C. Tu, Y. Lei, Social Trust Prediction Using Heterogeneous Networks, ACM Transactions on Knowledge Discovery from Data (TKDD), 7(4):17:1-17:21, 2013.
  11. R. N. Kacker, D. R. Kuhn, Y. Lei, J. F. Lawrence, Combinatorial testing for software: An adaptation of design of experiments, Journal of Measurement, 46(9):3745-3752, 2013.
  12. D.R. Kuhn, J.M. Higdon, J.F. Lawrence, R.N. Kacker, Y. Lei, "Combinatorial Methods for Event Sequence Testing", CrossTalk: The Journal of Defense Software Engineering, 25(4):15-18, July/August, 2012.
  13. D. Zhang, D. Liu, Y. Lei, D. Kung, C. Csallner, N. Nystrom, W. Wang, "SimFuzz: Test case similarity directed deep fuzzing", Journal of Systems and Software, 85(1):102-111, 2012.
  14. J. Lawrence, R. Kacker, Y. Lei, D. R. Kuhn, and M. Forbes, A Survey of Binary Covering Arrays, The Electronic Journal of Combinatorics, vol. 18, p84 (30 pages), 2011.
  15. R. Carver, Y. Lei, Distributed Reachability Testing, Concurrency and Computation: Practice and Experience, 22(18):2445-2466, 2010.
  16. R. Kuhn, R. Kacker, Y. Lei, J. Hunter, Combinatorial Software Testing, IEEE Computer, vol. 42, no. 8, August 2009.
  17. R. Carver, Y. Lei, A Class Library for Implementing, Testing, and Debugging Concurrent Programs, International Journal of Software Tools for Technology Transfer, 2009.
  18. M. Forbes, J. Lawrence, Y. Lei, R.N. Kacker, and D.R. Kuhn Refining the In-Parameter-Order Strategy for Constructing Covering Arrays, NIST Journal of Research, 113(5):287-297, Sept./Oct., 2008.
  19. W. E. Wong, Y. Lei, Reachability Graph-Based Test Sequence Generation for Concurrent Programs, International Journal on Software Engineering and Knowledge Engineering, 18(6):803-822, Sept. 2008.
  20. Y. Lei, R. Kacker, D. Kuhn, V. Okun, J. Lawrence, IPOG/IPOD: Efficient Test Generation for Multi-Way Software Testing, Journal of Software Testing, Verification, and Reliability, 18(3):125-148, Sept. 2008.
  21. R. Kuhn, R. Kacker, Y. Lei, Automated Combinatorial Test Methods - Beyond Pairwise Testing, CrossTalk: The Journal of Defense Software Engineering, 21(6):22-26, June 2008.
  22. D.R. Kuhn Y. Lei, R. Kacker, Practical Combinatorial Testing - Beyond Pairwise Testing, IEEE IT Professional, Vol. 10, No. 3, June 2008.
  23. Y. Lei, R. Carver, R. Kacker, D. Kung, A Combinatorial Strategy for Testing Concurrent Programs, Journal of Software Testing, Verification, and Reliability, 17(4):207-225, 2007.
  24. Y. Lei, R. Carver, Reachability Testing of Concurrent Programs, IEEE Transactions on Software Engineering, 32(6):382-403, 2006.
  25. Q. Ye, Y. Lei, D. Kung, A Blocking-Based Approach to Protocol Validation, The Computer Journal, 49:541-553, 2006.
Conference and Workshop Papers (after joining UTA)
  1. D. E. Simos, J. Bozic, F. Duan, B. Garn, K. Kleine, Y. Lei, F. Wotawa, Testing TLS Using Combinatorial Methods and Execution Framework. Proceedings of IFIP 29th International Conference on Testing Software and Systems (ICTSS) , pp. 162-177, October 2017 (Invited for journal extension).
  2. S. T. Ahmed Rumee, D. Liu, Y. Lei, MirrorDroid: A framework to detect sensitive information leakage in Android by duplicate program execution. Proceedings of 51st Annual Conference on Information Sciences and Systems (CISS), pp. 1-6, March 2017.
  3. J. Xu, Y. Lei, R. H. Carver, Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures. Proceedings of IEEE 10th International Conference on Software Testing, Verification, and Validation, pp. 35-46, March 2017.
  4. D. R. Kuhn, R. N. Kacker, Y. Lei: A Model for T-Way Fault Profile Evolution during Testing. Proceedings of 5th International Workshop on Combinatorial Testing (in junction with ICST), pp. 162-170, March 2017.
  5. F. Duan, Y. Lei, L. Yu, R. N. Kacker, D. R. Kuhn, Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring. Proceedings of 5th International Workshop on Combinatorial Testing (in junction with ICST), pp. 181-188, March 2017.
  6. C. Rao, J. Guo, N. Li, Y. Lei, Y. Zhang, Y. Li, Y. Cao, Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver. Proceedings of 5th International Workshop on Combinatorial Testing (in junction with ICST), pp. 199-207, March 2017.
  7. J. Chandrasekaran, H. Feng, Y. Lei, D. R. Kuhn, R. Kacker, Applying Combinatorial Testing to Data Mining Algorithms. Proceedings of 5th International Workshop on Combinatorial Testing (in junction with ICST), pp. 253-261, March 2017.
  8. N. Li, Y. Lei, H. R. Khan, J. Liu, Y. Guo, Applying combinatorial test data generation to big data applications. Proceedings of 31st IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 637 - 647, September 2016.
  9. D. E. Simos, K. Kleine, L. Ghandehari, B. Garn, Y. Lei, A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing. Proceedings of 28th International Conference on Testing Software and Systems, pp. 70 - 85, October 2016.
  10. D. Kung, Y. Lei, An Object-Oriented Analysis and Design Environment, Proceedings of 29th IEEE Conference on Software Engineering Education and Training, pp. 91-100, April 2016.
  11. M. Nguyen, Z. Li, F. Duan, H. Che, Y. Lei, H. Jiang, The Tail at Scale: How to Predict It? Proceedings of 8th USENIX Workshop on Hot Topics in Cloud Computing (HotCloud), June 2016.
  12. J. Chandrasekaran, L. S. Ghandehari, Y. Lei, R. Kacker, D. R. Kuhn, Evaluating the Effectiveness of BEN in Localizing Different Types of Software Fault. Proceedings of 5th International Workshop on Combinatorial Testing (in junction with ICST), pp. 26-34, April 2016.
  13. D. R. Kuhn, V. C. Hu, D. F. Ferraiolo, R. N. Kacker, Y. Lei, Pseudo-Exhaustive Testing of Attribute Based Access Control Rules. Proceedings of 5th International Workshop on Combinatorial Testing (in junction with ICST), pp. 51-58, April 2016.
  14. N. Li, J. Guo, Y. Lei, Y. Li, C. Rao, Y. Cao, J. Wang, Z. Shi and X. Ai, Towards Agile Testing for Railway Safety-critical Software, Proceedings of International Workshop on Agile Methods Applied to Development and Certification of Safety-Critical Software (ASCS, in junction with XP), May 2016.
  15. D. R. Kuhn, R. N. Kacker, Y. Lei, Estimating t-Way Fault Profile Evolution During Testing. Proceedings of 40th IEEE Annual Computer Software and Applications Conference (Fast Abstract), pp. 596-597, June 2016.
  16. J. Xu, Y. Lei, R. Carver, D. Kung, “A static, lightweight approach to detecting unbounded thread­instantiation loops”, Proceedings of IEEE International Conference on Software Testing, Verification and Validation, pp. 1-10, 2015.
  17. L. Ghandehari, J. Chandrasekaran, Y. Lei, R. Kacker, D. Kuhn, “Short Paper: BEN: A Combinatorial Testing-Based Fault Localization Tool,” Proceedings of 4th International Workshop on Combinatorial Testing (in junction with 8th IEEE International Conference on Software Testing, Verification and Validation), April 2015.
  18. L. Yu, F. Duan, Y. Lei, R. Kacker, D. Kuhn, “Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples,” Proceedings of 4th International Workshop on Combinatorial Testing (in junction with 8th IEEE International Conference on Software Testing, Verification and Validation), April 2015.
  19. F. Duan, L. Yu, Y. Lei, R. Kacker, R. Kuhn, “Improving IPOG’s Vertical Growth Based on a Graph Coloring Scheme,” Proceedings of 4th International Workshop on Combinatorial Testing (in junction with 8th IEEE International Conference on Software Testing, Verification and Validation), April 2015.
  20. J. Xie, Y. Wan, Y. Zhou, K. Mills, J. J. Filliben, Y. Lei, “Effective and Scalable Uncertainty Evaluation for Large-Scale Complex System Applications”, Proceedings of the 2014 Winter Simulation Conference, pp. 733-744, December 2014.
  21. Z. Lei, Z. Li, Y. Lei, Y. Bi, L. Hu, W. Shen, “An Improved Image File Storage Method Using Data Deduplication,” Proceedings of IEEE 13th International Conference on Trust, Security, and Privacy in Computing and Communications (TrustCom), pp.638 -643, September 2014.
  22. L. Ghandehari, J. Czerwonka, Y. Lei, S. Shafiee, R. Kacker, R. Kuhn, “An Empirical Comparison of Combinatorial and Random Testing,” Proceedings of 3rd International Workshop on Combinatorial Testing (in junction with 7th IEEE International Conference on Software Testing, Verification and Validation), April 2014.
  23. L. Yu, F. Duan, Y. Lei, R. N. Kacker, D. R. Kuhn, Combinatorial Test Generation For Software Product Lines Using Minimum Invalid Tuples, Proceedings of 15th IEEE International Symposium on High Assurance System Engineering (HASE), 2014.
  24. L. Ghandehari, Y. Lei, D. Kung, R. N. Kacker, D. R. Kuhn, Fault Localization Based on Failure-Inducing Combinations, Proceedings of 24th IEEE International Symposium on Software Reliability Engineering (ISSRE), 2013.
  25. J. Xu, Y. Lei, R. Carver, D. Kung, A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions, Proceedings of International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT), 2013.
  26. R. Carver, Y. Lei, A Modular Approach to Model-Based Testing of Concurrent Programs, Proceedings in International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT), 2013.
  27. J. Huang, F. Nie, H. Huang, Y. Lei, C. Ding, Social Trust Prediction Using Rank-kMatrix Recovery, Proceedings of 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013.
  28. L. Yu, Y. Lei, R. N. Kacker, D. R. Kuhn, R. D. Sriram, K. Brady, A General Conformance Testing Framework for IEEE 11073 PHD’s Communication Model, Proceedings of International Conference on Pervasive Technologies Related to Assistive Environments (PETRA), May 2013.
  29. L. Yu, Y. Lei, M. B. Bourazjany, R. N. Kacker, D. R. Kuhn, An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation, Proceedings of 6th IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 242-251, March 2013.
  30. L. Yu, Y. Lei, R. N. Kacker, D. R. Kuhn, ACTS: A Combinatorial Test Generation Tool, Proceedings of 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) (Tool Track), pp. 370-375, 2013.
  31. L. Ghandehari, M. B. Bourazjany, Y. Lei, R. N. Kacker, D. R. Kuhn, Applying Combinatorial Testing to the Siemens Suite, Proceedings of 2nd International Workshop on Combinatorial Testing (in junction with 6th IEEE International Conference on Software Testing, Verification and Validation), March 2013.
  32. M. B. Bourazjany, L. Ghandehari, Y. Lei, R. N. Kacker, D. R. Kuhn, An Input Space Modeling Methodology for Combinatorial Testing, Proceedings of 2nd International Workshop on Combinatorial Testing (in junction with 6th IEEE International Conference on Software Testing, Verification and Validation), March 2013.
  33. X. Niu, C. Nie, Y. Lei, and A. Chan, Identifying Failure-Inducing Combinations Using Tuple Relationship, Proceedings of 2nd International Workshop on Combinatorial Testing (in junction with 6th IEEE International Conference on Software Testing, Verification and Validation), March 2013.
  34. R. Kuhn, I. Dominguez, R. N. Kacker and Y. Lei, Combinatorial Coverage Measurement Concepts and Applications, Proceedings of 2nd International Workshop on Combinatorial Testing (in junction with 6th IEEE International Conference on Software Testing, Verification and Validation), March 2013.
  35. Z. Lei, J. Xiang, Z. Zhou, F. Duan, Y. Lei, A Multi-Objective Scheduling Strategy based on MOGA in Cloud Computing Environment, Proceedings of 2012 IEEE Cloud Computing and Intelligent Systems, 2012.
  36. J. Li, C. Nie, Y. Lei, Short Paper: An Improved Delta Debugging for Combinatorial Testing, Proceedings of 12th International Conference on Quality Software, pp. 102-105, August 2012.
  37. L. Yu, Y. Lei, R. Kacker, R. Kuhn, J. Lawrence, Efficient algorithms for t-way test sequence generation, 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012.
  38. M. Borazjany, L. Yu, Y. Lei, R. Kacker, R. Kuhn, Combinatorial Testing of ACTS: A Case Study, Proceedings of 1st International Workshop on Combinatorial Testing, 2012.
  39. K. Shakya, T. Xie, N. Li, Y. Lei, R. Kacker, R. Kunh, Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification, Proceedings of 1st International Workshop on Combinatorial Testing, 2012.
  40. L. Ghandehari, Y. Lei, T. Xie, R. Kuhn, R. Kacker, Identifying failure-inducing combinations in a combinatorial test set, Proceedings of 5th IEEE International Conference on Software Testing, Verification and Validation (ICST), 2012.
  41. W. Wang, Y. Lei, D. Liu, D. Kung, C. Csallner, D. Zhang, R. Kacker and R. Kuhn, A combinatorial approach to detecting buffer overflow vulnerabilities, Proceedings of 41st Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), June 2011.
  42. Y. Zhu, W. Zhang, H. Jiang, Y. Lei, and J. Peng, DCMTs: Supporting Dynamically Created Miratory Threads, Proceedings of the 13th IEEE International Conference on Computational Science and Engineering (CSE-2010), Hong Kong, China, December 11-13, 2010.
  43. R. Carver and Y. Lei, A Stateful Approach to Testing Monitors in Multithreaded Programs, Proceedings for IEEE 12th High Assurance Systems Engineering, 2010.
  44. D. Zhang, D. Liu, Y. Lei, D. Kung, C. Csallner, and W. Wang, Testing C programs for Vulnerability Using Trace-Based Symbolic Execution and Satisfiability Analysis, Proceedings of Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2010.
  45. D.R. Kuhn, R. Kacker, Y.Lei. Random vs. Combinatorial Methods for Discrete Event Simulation of a Grid Computer Network, Proceedings of ModSim World, Oct. 14-17 2009, Virginia Beach, Virginia.
  46. W. Wang, Y. Lei, S. Sampath, R. Kacker, D. Kuhn, J. Lawrence, A Combinatorial Approach to Building Navigation Graphs for Dynamic Web Applications, accepted for publication in Proceedings of 25th IEEE International Conference on Software Maintenance, September 2009.
  47. W. Wang, S. Sampath, Y. Lei, R. Kacker, An Interaction-Based Test Sequence Generation Approach for Testing Web Applications, to appear in Proceedings of IEEE International Conference on High Assurance Systems Engineerng, December 2008.
  48. V. Metsis, Z. Le, Y. Lei, and F. Makedon, Towards An Evaluation Framework for Assistive Environments, Proceedings of 1st International Conference on Pervasive Technologies Related to Assistive Environments, July 2008.
  49. Y. Lei, R. Kacker, D. R. Kuhn, V. Okun, J. Lawrence, IPOG: A General Strategy for T-Way Software Testing, Proceedings of 14th IEEE Annual International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS), pp. 549-556, March 2007.
  50. Y. Lei, R. Carver, D. Kung, V. Gupta, M. Hernandez, A State Exploration-Based Approach to Testing Java Monitors, Proceedings of 17th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 256-265, November 7-10, 2006.
  51. Y. Lei, R. Carver, A New Algorithm for Reachability Testing of Concurrent Programs, Proceedings of 18th IEEE International Symposium on Software Reliability Engineering (ISSRE), pp. 346-355, November 8-11, 2005.
  52. Y. Lei, P. Iyer, An Approach to Unfolding Asynchronous Communication Protocols, Proceedings of 13th International Symposium on Formal Methods (FM), pp. 334 - 349, July 18-22, 2005.
  53. Y. Lei, D. Kung, Q. Ye, A Blocking-Based Approach to Protocol Validation, Proceedings of 29th IEEE International Computer and Software Applications Conference (COMPSAC), July 26-28, 2005.
  54. Y. Lei, E. Wong, A Novel Framework for Non-Deterministic Testing of Message-Passing Programs, Proceedings of 10th IEEE International Symposium on High Assurance Systems Engineering (HASE), pp. 66-75, October 12-14, 2005.
  55. E. Wong, Y. Lei, X. Ma, Efficient Test Generation for Structural Testing of Concurrent Programs, Proceedings of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECSS), pp. 539-548, June 16-20, 2005.
  56. Y. Lei, M. P. Singh, An Evaluation of E-Business Metamodels, Proceedings of 17th International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 88-93, July 14-16, 2005.
  57. R. Carver, Y. Lei, A General Model for Reachability Testing of Concurrent Programs, Proceedings of 6th International Conference on Formal Engineering Methods (ICFEM), pp. 76-98, November 8-12, 2004.
  58. Y. Lei, R. Carver, Reachability Testing of Semaphore-Based Programs, Proceedings of 28th International Conference on Computer Software and Applications (COMPSAC), pp. 312-317, September 28-30, 2004.
  59. Y. Lei, R. Carver, Reachability Testing of Monitor-Based Programs, Proceedings of IASTED International Conference on Software Engineering and Applications (SEA), November 9-11, 2004.
  60. Y. Lei, Non-deterministic Testing of Concurrent Programs, 14th IEEE International Symposium on Software Reliability Engineering (ISSRE, Fast Abstract), pp. 293-294, November 17-20, 2003.
  61. Y. Lei, K. C. Tai, Efficient Reachability Testing of Asynchronous Message-Passing Programs, Proceedings of 8th IEEE International Conference on Engineering for Complex Computer Systems (ICECCS), pp. 35-44, December 2-4, 2002.