Publications

Book

  • D. R. Kuhn, R. N. Kacker, Y. Lei, Introduction to Combinatorial Testing, CRC Press, June 2013.

Book Chapters

  • L. Yu, Y. Lei. Algorithms for Covering Array Construction. Chapter 15, Introduction to Combinatorial Testing, CRC Press, June 2013.
  • 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.
  • 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

  • D. Zhang, D. Liu, C. Csallner, Y. Lei, D. Kung, Demand-Driven Security Testing for C Programs, accepted for publication in Journal of Systems & Software, 2013.
  • 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), in press, 2013.
  • 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.
  • 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.
  • 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.
  • 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.
  • R. Carver, Y. Lei, Distributed Reachability Testing, Concurrency and Computation: Practice and Experience, 22(18):2445-2466, 2010.
  • R. Kuhn, R. Kacker, Y. Lei, J. Hunter, Combinatorial Software Testing, IEEE Computer, vol. 42, no. 8, August 2009.
  • R. Carver, Y. Lei, A Class Library for Implementing, Testing, and Debugging Concurrent Programs,International Journal of Software Tools for Technology Transfer, 2009.
  • 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.
  • 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.
  • 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.
  • 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.
  • D.R. Kuhn Y. Lei, R. Kacker, Practical Combinatorial Testing – Beyond Pairwise Testing, IEEE IT Professional, Vol. 10, No. 3, June 2008.
  • 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.
  • Y. Lei, R. Carver, Reachability Testing of Concurrent ProgramsIEEE Transactions on Software Engineering, 32(6):382-403, 2006.
  • 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)

  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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 with6th IEEE International Conference on Software Testing, Verification and Validation), March 2013.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • R. Carver and Y. Lei, A Stateful Approach to Testing Monitors in Multithreaded Programs,Proceedings for IEEE 12th High Assurance Systems Engineering, 2010.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.
  • 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.