avatar

Jeff Lei

[Yu Lei]

Professor, Computer Science and Engineering
Last Updated: June 14, 2021
about me

Research Interests

Research Interests
Software Engineering, Software Security, and Testing AI-Based Systems.

Teaching Interests

Teaching Interests
Software Engineering

Biography

Biography

Jeff Lei is a Professor in Department of Computer Science and Engineering at the University of Texas, Arlington. He received his Bachelor's degree from Wuhan University (Special Class for Gifted Young), his Master's degree from Institute of Software, Chinese Academy of Sciences, and his PhD degree from North Carolina State University. He was a Member of Technical Staff in Fujitsu Network Communications, Inc. for about three years. His research is in the area of automated software analysis, testing and verification for both functional and non-functional (e.g., security, performance) properties.

Education

Education

    • 2002 PhD in Computer Science
      North Carolina State Univ
    • 1996 MS in Software Engineering
      Chinese Academy Of Sciences
    • 1993 BS in Computer Science
      Wuhan University

Appointments

Appointments

    • Feb 1998 to May 2001 Member of Technical Staff
      Fujitsu Network Communications, Inc. (Raleigh, NC, United States)

Awards and Honors

    • Jul  2013 Outstanding Associate Award sponsored by NIST
    • Sep  2009 Regional Excellence in Technology Transfer Award sponsored by Federal Laboratory Consortium (Mid-Atlantic Region)

Support & Funding

Support & Funding

This data is entered manually by the author of the profile and may duplicate data in the Sponsored Projects section.
    • Oct 2018 to Sept 2021 SENTINEL: Security Interaction Testing for IoT Systems and Blockchains sponsored by  -  $585000
      Yu Lei (Funded)
    • Oct 2015 to Sept 2018 Combinatorial Testing for Big Data Software sponsored by  -  $375624
      Yu Lei (Funded)
    • July 2016 to Apr 2018 Security Protocol Interaction Testing in Practice (SPLIT) sponsored by  -  $70119
      Yu Lei (Funded)

Publications


      2013
      • Book
        Introduction to combinatorial testing
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu]. "CRC press".

      2015
      • Book Chapter
        Combinatorial testing: Theory and practice
        Advances in Computers
        [Kuhn, DRichard, Bryce, Renee, Duan, Feng, Ghandehari, LalehSh, Lei, Yu, Kacker, RaghuN]. 99, 1--66. "Elsevier".

      2010
      • Book Chapter
        Combinatorial testing
        Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization
        [Bryce, Ren\'ee C, Lei, Yu, Kuhn, DRichard, Kacker, Raghu]. 196--208. "IGI Global".

      2020
      • Journal Article
        Effective Uncertainty Evaluation in Large-Scale Systems
        [Xie, Junfei, Wan, Yan, Zhou, Yi, Mills, Kevin, Filliben, JamesJ, Lei, Yu]. 25. "Cambridge University Press".
      • Journal Article
        An interleaving approach to combinatorial testing and failure-inducing interaction identification
        [Niu, Xintao, Nie, Changhai, Leung, HaretonKN, Lei, Yu, Wang, Xiaoyin, Xu, Jiaxi, Wang, Yan]. IEEE Transactions on Software Engineering. 46(6), 584-615. "IEEE".
      • Journal Article
        A Combinatorial Testing-Based Approach to Fault Localization
        [Ghandehari, LalehSh, Lei, Yu, Kacker, Raghu, Kuhn, DRichard Rick, Kung, DavidC, Xie, Tao]. IEEE Transactions on Software Engineering. 46(6), 616-645. "IEEE".
      • Journal Article
        Identifying failure-causing schemas in the presence of multiple faults
        [Niu, Xintao, Nie, Changhai, Lei, Yu, Leung, HaretonKN, Wang, Xiaoyin]. IEEE Transactions on Software Engineering. 46(2), 141-162. "IEEE".
      • Journal Article
        Input Space Coverage Matters
        [Kuhn, Rick, Kacker, RaghuN, Lei, Yu, Simos, Dimitris]. Computer. 53(1), 37--44. "IEEE".

      2019
      • Journal Article
        Testing TLS using planning-based combinatorial methods and execution framework
        [Simos, DimitrisE, Bozic, Josip, Garn, Bernhard, Leithner, Manuel, Duan, Feng, Kleine, Kristoffer, Lei, Yu, Wotawa, Franz]. Software Quality Journal. 27(2), 703--729. "Springer US".

      2018
      • Journal Article
        Stateless techniques for generating global and local test oracles for message-passing concurrent programs
        [Carver, R, Lei, Yu]. Journal of Systems and Software. 136, 237--265. "Elsevier".

      2016
      • Journal Article
        Measuring and specifying combinatorial coverage of test input configurations
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu]. Innovations in Systems and Softwar Engineering. 12(4), 249-261. "Springer-Verlag".
      • Journal Article
        Using combinatorial testing to build navigation graphs for dynamic web applications
        [Wang, Wenhua, Sampath, Sreedevi, Lei, Yu, Kacker, Raghu, Kuhn, Richard, Lawrence, James]. Journal of Software: Testing, Verification and Reliability. 26(4), 318-346.

      2015
      • Journal Article
        Combinatorial coverage as an aspect of test quality
        [Kuhn, D.Richard, Kacker, R.N., Lei, Yu]. Journal of Defense Software Engineering. 28(2), 19-23.

      2014
      • Journal Article
        Scalable and efficient workload hotspot detection in virtualized environment
        [Lei, Zhou, Hu, Bolin, Guo, Jianhua, Hu, Luokai, Shen, Wenfeng, Lei, Yu]. Cluster Computing. 17(4), 1253-1264.
      • Journal Article
        A distributed framework for demand-driven software vulnerability detection
        [Zhang, Dazhi, Liu, Donggang, Csallner, Christoph, Kung, DavidC, Lei, Yu]. Journal of Systems and Software. 87, 60-73.

      2013
      • Journal Article
        Combinatorial testing for software: An adaptation of design of experiments
        [Kacker, RaghuN., Kuhn, D.Richard, Lei, Yu, Lawrence, JamesF.]. Measurement. 46(9), 3745-3752.
      • Journal Article
        Social trust prediction using heterogeneous networks
        [Huang, Jin, Nie, Feiping, Huang, Heng, Tu, Yi-Cheng, Lei, Yu]. 7(4), 17.

      2012
      • Journal Article
        A small-sample, bi-directional scattering measurement system from 200-500 GHz
        [Novotny, DavidR, Gordon, JoshuaA, Heilweil, EdwinJ, Stillwell, BrianC, Guerrieri, JeffreyR, Grossman, ErichN, Lo, ShuZ].
      • Journal Article
        Combinatorial Testing for Software used in Metrology
        [Kacker, Raghu, Kuhn, DRichard, Lei, Yu, Lawrence, James].
      • Journal Article
        Combinatorial Testing, Encyclopedia of Software Engineering, edited by Phillip A. Laplante
        [Kuhn, D.R., Kacker, R.N., Lei, Yu].
      • Journal Article
        Coverage Measurement
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu].
      • Journal Article
        No title
        [Hill, JustinT.].
      • Journal Article
        SimFuzz: Test case similarity directed deep fuzzing
        [Zhang, Dazhi, Liu, Donggang, Lei, Yu, Kung, DavidC, Csallner, Christoph, Nystrom, Nathaniel, Wang, Wenhua]. Journal of Systems and Software. 85(1), 102-111.
      • Journal Article
        Zoomer: An Automated Web Application Change Localization Tool
        [Wang, Wenhua, Lei, Yu]. 9(8), 913--919. "David Publishing Company, 1840 Industrial Drive Suite 160 Libertyville Illinois 60048 United States".

      2011
      • Journal Article
        A survey of binary covering arrays
        [Lawrence, Jim, Kacker, RaghuN, Lei, Yu, Kuhn, DRichard, Forbes, Michael]. 18(1), 84.
      • Journal Article
        A survey of binary covering arrays
        [Lawrence, Jim, Kacker, RaghuN., Lei, Yu, Kuhn, D.Richard, Forbes, Michael]. 18(1), P84.

      2010
      • Journal Article
        A class library for implementing, testing, and debugging concurrent programs
        [Carver, RichardH., Lei, Yu]. 12(1), 69-88.
      • Journal Article
        Advanced combinatorial test methods for system reliability
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu].
      • Journal Article
        Distributed reachability testing of concurrent programs
        [Carver, RichardH., Lei, Yu]. 22(18), 2445-2466.
      • Journal Article
        Random vs. combinatorial methods for discrete event simulation of a grid computer network
        [Kuhn, D.Richard, Kacker, Raghu, Lei, Yu].
      • Journal Article
        Sp 800-142. practical combinatorial testing
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu]. "National Institute of Standards \& Technology".
      • Journal Article
        Sp 800-142. practical combinatorial testing
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu].
      • Journal Article
        Testing C programs for vulnerability using trace-based symbolic execution and satisfiability analysis
        [Zhang, Dazhi, Liu, Donggang, Wang, Wenhua, Lei, Jeff, Kung, DavidC, Csallner, Christoph]. 321-338.
      • Journal Article
        The scenario in which services are obtained by combining sub services is of a great importance. Reliability and fault tolerance are important concerns in the design of such distributed systems. This paper proposes a framework for designing robust client--server tier systems. First, we suggest implementing robust tier automata for each tier $\tau$ i used by the processors...
        [Dolev, Shlomi, Gersten, Ori]. 12(1), 53--67.

      2009
      • Journal Article
        Combinatorial software testing
        [Kuhn, Rick, Kacker, Raghu, Lei, Yu, Hunter, Justin]. Computer. 42(8), 94--96. "Institute of Electrical and Electronics Engineers, Inc., 3 Park Avenue, 17 th Fl New York NY 10016-5997 United States".
      • Journal Article
        Combinatorial software testing
        [Kuhn, Rick, Kacker, Raghu, Lei, Yu, Hunter, Justin]. Computer. 42(8),
      • Journal Article
        Handbook of Research on Software Engineering and Productivity Technologies: Implications of Globalization
        [BRYCE, R.C., Lei, Yu, KHUN, R., KACKER, R.].

      2008
      • Journal Article
        Automated combinatorial test methods: Beyond pairwise testing
        [Kuhn, D.Richard, Kacker, Raghu, Lei, Yu]. 21(6), 22-26.
      • Journal Article
        Combinatorial and random testing effectiveness for a grid computer simulator
        [Kuhn, DRichard, Kacker, Raghu, Lei, Yu]. 24,
      • Journal Article
        IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing
        [Lei, Yu, Kacker, Raghu, Kuhn, DRichard, Okun, Vadim, Lawrence, James]. 18(3), 125--148. "John Wiley \& Sons, Ltd. Chichester, UK".
      • Journal Article
        IPOG/IPOG‐D: efficient test generation for multi‐way combinatorial testing
        [Lei, Yu, Kacker, Raghu, Kuhn, D.Richard, Okun, Vadim, Lawrence, James]. 18(3), 125-148.
      • Journal Article
        Practical combinatorial testing: Beyond pairwise
        [Kuhn, Rick, Lei, Yu, Kacker, Raghu].(3), 19--23. "IEEE".
      • Journal Article
        Practical combinatorial testing: Beyond pairwise
        [Kuhn, Rick, Lei, Yu, Kacker, Raghu]. 10(3),
      • Journal Article
        Reachability graph-based test sequence generation for concurrent programs
        [Wong, W.Eric, Lei, Yu]. 18(06), 803-822.
      • Journal Article
        Refining the in-parameter-order strategy for constructing covering arrays
        [Forbes, Michael, Lawrence, Jim, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. Journal of Research of the National Institute of Standards and Technology. 113(5), 287.

      2007
      • Journal Article
        A combinatorial testing strategy for concurrent programs
        [Lei, Yu, Carver, RichardH., Kacker, Raghu, Kung, DavidC]. 17(4), 207-225.
      • Journal Article
        Fuzzy control optimized by PSO for vibration suppression of beams.
        [S. Ahmed, Bestoun, Z. Zamli, Kamal, Qu, X, Chohen, MB, Woolf, KM, Lei, Yu, Kacker, R, Kuhn, DR, Okun, V, Lawrence, J, others]. 5(2), pp--255. "orgz".
      • Journal Article
        In-parameter-order: A test generation strategy for pairwise testing.
        [Ahmed, BestounS, Zamli, KamalZ, Bryce, RC, Colbourn, CJ, Cheng, CS, Clerc, M, Kennedy, J, Cohen, DM, Dalal, SR, Fredman, ML, others]. 4(2), 159--182. "orgz".

      2006
      • Journal Article
        A Blocking-Based Agproach to Protocol Validation
        [Ye, Qizhi, Lei, Yu, Kung, DavidC]. The Computer Journal. 49, 541-553.
      • Journal Article
        Reachability testing of concurrent programs
        [Lei, Yu, Carver, RichardH.]. IEEE Transactions on Software Engineering. 32(6), 382-403.

      2005
      • Journal Article
        An approach to unfolding asynchronous communication protocols
        [Lei, Yu, Iyer, S.Purushothaman]. 3582, 334-349.

      2004
      • Journal Article
        A general model for reachability testing of concurrent programs
        [Carver, Richard, Lei, Yu]. 76-98.
      • Journal Article
        Search Publications
        [Thienpont, LindaM, Katleen Van Uytfanghe, J Marriot, Tokura, Y, Siekmann, Lothar, Kessler, Anja, Bunk, DavidM, Tai, SusanS, Klouda, GeorgeA, Filliben, JamesJ, Parish, HJ, others].

      2003
      • Journal Article
        Non-deterministic Testing of Concurrent Programs
        [Lei, Jeff].

      2002
      • Journal Article
        A test generation strategy for pairwise testing
        [Tai, Kuo-Chung, Lei, Yu]. IEEE Transactions on Software Engineering. 28(1), 109-111.
      • Journal Article
        Reachability analysis and testing of asynchronous message-passing programs
        [Lei, Yu]. "North Carolina State University".

      2001
      • Journal Article
        A Test Generation for Pairwise Testing
        [Lei, Yu, Tai, KC]. "North Carolina State University at Raleigh".
      • Journal Article
        Department of Computer Science North Carolina State University Raleigh, NC 27695-7534, USA
        [Lei, Yu, Tai, KC].

      2020
      • Conference Proceeding
        Combinatorial Methods for Explainable AI
        2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu, Simos, DimitrisE]. 167--170.
      • Conference Proceeding
        Effectiveness of dataset reduction in testing machine learning algorithms
        2020 IEEE International Conference On Artificial Intelligence Testing (AITest)
        [Chandrasekaran, Jaganmohan, Feng, Huadong, Lei, Yu, Kacker, Raghu, Kuhn, DRichard]. 133--140.

      2019
      • Conference Proceeding
        Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines
        IFIP International Conference on Testing Software and Systems
        [Bombarda, Andrea, Bonfanti, Silvia, Gargantini, Angelo, Radavelli, Marco, Duan, Feng, Lei, Yu]. 67--85.
      • Conference Proceeding
        IPSO: A Scaling Model for Data-Intensive Applications
        2019 IEEE 39th International Conference on Distributed Computing Systems (ICDCS)
        [Li, Zhongwei, Duan, Feng, Nguyen, Minh, Che, Hao, Lei, Yu, Jiang, Hong]. 238--248.
      • Conference Proceeding
        An Approach to T-Way Test Sequence Generation With Constraints
        2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
        [Duan, Feng, Lei, Yu, Kacker, RaghuN, Kuhn, DRichard]. 241--250.
      • Conference Proceeding
        Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array
        2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
        [Rao, Chang, Li, Nan, Lei, Yu, Kacker, RaghuN, Kuhn, DRichard, Guo, Jin]. 251--259.
      • Conference Proceeding
        Weighted Combinatorial Sequence Testing for the TLS Protocol
        2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
        [Garn, Bernhard, Simos, DimitrisE, Duan, Feng, Lei, Yu, Bozic, Josip, Wotawa, Franz]. 46--51.

      2018
      • Conference Proceeding
        A Method-Level Test Generation Framework for Debugging Big Data Applications
        2018 IEEE International Conference on Big Data (Big Data)
        [Feng, Huadong, Chandrasekaran, Jaganmohan, Lei, Yu, Kacker, Raghu, Kuhn, DRichard]. 221--230.
      • Conference Proceeding
        Pseudo-Exhaustive Verification of Rule Based Systems
        30th International Conference on Software Engineering & Knowledge Engineering
        [Kuhn, D. Richard, Yaga, Dylan, Kacker, RaghuN., Lei, Yu, Hu, Vincent]. DOI: http://dx.doi.org/10.18293/SEKE2018-072
      • Conference Proceeding
        Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis
        2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)
        [Rao, Chang, Guo, Jin, Li, Nan, Lei, Yu, Zhang, YaDong, Li, Yao]. 397--404.

      2017
      • Conference Proceeding
        Testing TLS using combinatorial methods and execution framework
        IFIP International Conference on Testing Software and Systems
        [Simos, DimitrisE, Bozic, Josip, Duan, Feng, Garn, Bernhard, Kleine, Kristoffer, Lei, Yu, Wotawa, Franz]. 162--177.
      • Conference Proceeding
        A Model for T-Way Fault Profile Evolution during Testing.
        ICST Workshops
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu]. 162--170.
      • Conference Proceeding
        Applying combinatorial testing to data mining algorithms
        Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE International Conference on
        [Chandrasekaran, Jaganmohan, Feng, Huadong, Lei, Yu, Kuhn, DRichard, Kacker, Raghu]. 253--261.
      • Conference Proceeding
        Applying combinatorial testing to high-speed railway track circuit receiver
        Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE International Conference on
        [Rao, Chang, Guo, Jin, Li, Nan, Lei, Yu, Zhang, Yadong, Li, Yao, Cao, Yaxin]. 199--207.
      • Conference Proceeding
        Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring
        Software Testing, Verification and Validation Workshops (ICSTW), 2017 IEEE International Conference on
        [Duan, Feng, Lei, Yu, Yu, Linbin, Kacker, RaghuN, Kuhn, DRichard]. 181--188.
      • Conference Proceeding
        Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures
        Software Testing, Verification and Validation (ICST), 2017 IEEE International Conference on
        [Xu, Jing, Lei, Yu, Carver, Richard]. 35--46.

      2016
      • Conference Proceeding
        A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
        IFIP International Conference on Testing Software and Systems
        [Simos, DimitrisE., Kleine, Kristoffer, Ghandehari, LalehShikh Gholamhossein, Garn, Bernhard, Lei, Yu]. 70-85. "Springer".
      • Conference Proceeding
        Applying combinatorial test data generation to big data applications
        Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
        [Li, Nan, Lei, Yu, Khan, HaiderRiaz, Liu, Jingshu, Guo, Yun]. 637-647. "ACM".
      • Conference Proceeding
        Estimating t-Way Fault Profile Evolution During Testing
        Computer Software and Applications Conference (COMPSAC), 2016 IEEE 40th Annual
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu]. 2, 596-597. "IEEE".
      • Conference Proceeding
        The tail at scale: how to predict it?
        HotCloud
        [Nguyen, Minh, Li, Zhongwei, Duan, Feng, Che, Hao, Jiang, Hong, Lei, Yu].
      • Conference Proceeding
        Towards Agile Testing for Railway Safety-critical Software
        Proceedings of the Scientific Workshop Proceedings of XP2016
        [Li, Nan, Guo, Jin, Lei, Yu, Li, Yao, Rao, Chang, Cao, YaXin]. 18. "ACM".
      • Conference Proceeding
        An Object-Oriented Analysis and Design Environment
        Software Engineering Education and Training (CSEET), 2016 IEEE 29th International Conference on
        [Kung, DavidC, Lei, Yu]. 91-100. "IEEE".
      • Conference Proceeding
        Evaluating the effectiveness of ben in localizing different types of software fault
        Software Testing, Verification and Validation Workshops (ICSTW), 2016 IEEE Ninth International Conference on
        [Chandrasekaran, Jaganmohan, Ghandehari, LalehSh, Lei, Yu, Kacker, Raghu, Kuhn, D.Richard]. 26-34. "IEEE".
      • Conference Proceeding
        Pseudo-exhaustive testing of attribute based access control rules
        Software Testing, Verification and Validation Workshops (ICSTW), 2016 IEEE Ninth International Conference on
        [Kuhn, D.Richard, Hu, Vincent, Ferraiolo, DavidF., Kacker, RaghuN., Lei, Yu]. 51-58. "IEEE".
      • Conference Proceeding
        The relationship between software bug type and number of factors involved in failures
        Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International Symposium on
        [Ratliff, ZacharyB, Kuhn, DRichard, Kacker, RaghuN, Lei, Yu, Trivedi, KishorS]. 119--124.

      2015
      • Conference Proceeding
        A Spark-based study on the massive video-receive IO issues
        Computer Science and Applications (CSA), 2015 International Conference on
        [Lei, Zhou, Lin, Hong-Xun, Du, Hong-Guang, Shen, Wen-Feng, Zhang, Hui-Ran, Lei, Yu]. 30--36.
      • Conference Proceeding
        Implementing and managing policy rules in attribute based access control
        Information Reuse and Integration (IRI), 2015 IEEE International Conference on
        [Hu, Vincent, Ferraiolo, DavidF, Kuhn, DRichard, Kacker, RaghuN, Lei, Yu]. 518--525.
      • Conference Proceeding
        A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops
        Software Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on
        [Xu, Jing, Lei, Yu, Carver, Richard, Kung, DavidC]. 1-10. "IEEE".
      • Conference Proceeding
        BEN: A combinatorial testing-based fault localization tool
        Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on
        [Ghandehari, LalehSh, Chandrasekaran, Jaganmohan, Lei, Yu, Kacker, Raghu, Kuhn, D.Richard]. 1-4. "IEEE".
      • Conference Proceeding
        Constraint handling in combinatorial test generation using forbidden tuples
        Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on
        [Yu, Linbin, Duan, Feng, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. 1-9. "IEEE".
      • Conference Proceeding
        Efficient Verification of Equivalence Classes and Simultaneous Testing Using Two-layer Covering Arrays
        Proceedings of International Workshop on Combinatorial Testing
        [Kuhn, D. Richard, Kacker, RaghuN, Lei, Yu, Torres-Jimenez, Jose].
      • Conference Proceeding
        Equivalence class verification and oracle-free testing using two-layer covering arrays
        Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu, Torres-Jimenez, Jose]. 1--4.
      • Conference Proceeding
        Improving IPOG’s vertical growth based on a graph coloring scheme
        Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on
        [Duan, Feng, Lei, Yu, Yu, Linbin, Kacker, RaghuN., Kuhn, D.Richard]. 1-8. "IEEE".

      2014
      • Conference Proceeding
        Effective and scalable uncertainty evaluation for large-scale complex system applications
        Simulation Conference (WSC), 2014 Winter
        [Xie, Junfei, Wan, Yan, Zhou, Yi, Mills, Kevin, Filliben, JamesJ., Lei, Yu]. 733-744. "IEEE".
      • Conference Proceeding
        An Improved Image File Storage Method Using Data Deduplication
        Trust, Security and Privacy in Computing and Communications (TrustCom), 2014 IEEE 13th International Conference on
        [Lei, Zhou, Li, Zhaoxin, Lei, Yu, Bi, Yanling, Hu, Luokai, Shen, Wenfeng]. 638-643. "IEEE".
      • Conference Proceeding
        An empirical comparison of combinatorial and random testing
        Software Testing, Verification and Validation Workshops (ICSTW), 2014 IEEE Seventh International Conference on
        [Ghandehari, LalehSh, Czerwonka, Jacek, Lei, Yu, Shafiee, Soheil, Kacker, Raghu, Kuhn, Richard]. 68-77. "IEEE".
      • Conference Proceeding
        Estimating Fault Detection Effectiveness
        Software Testing, Verification and Validation Workshops (ICSTW), 2014 IEEE Seventh International Conference on
        [Kuhn, Rick, Kacker, Raghu, Lei, Yu]. 154--154.
      • Conference Proceeding
        Combinatorial test generation for software product lines using minimum invalid tuples
        High-Assurance Systems Engineering (HASE), 2014 IEEE 15th International Symposium on
        [Yu, Linbin, Duan, Feng, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. 65-72. "IEEE".

      2013
      • Conference Proceeding
        A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions
        International Conference on Multicore Software Engineering, Performance, and Tools
        [Xu, Jing, Lei, Yu, Carver, Richard, Kung, DavidC]. 97-109. "Springer".
      • Conference Proceeding
        A general conformance testing framework for IEEE 11073 PHD’s communication model
        Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments
        [Yu, Linbin, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard, Sriram, RamD., Brady, Kevin]. 12. "ACM".
      • Conference Proceeding
        A modular approach to model-based testing of concurrent programs
        International Conference on Multicore Software Engineering, Performance, and Tools
        [Carver, Richard, Lei, Yu]. 85-96. "Springer".
      • Conference Proceeding
        Acts: A combinatorial test generation tool
        Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
        [Yu, Linbin, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. 370-375. "IEEE".
      • Conference Proceeding
        An efficient algorithm for constraint handling in combinatorial test generation
        Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
        [Yu, Linbin, Lei, Yu, Nourozborazjany, Mehra, Kacker, RaghuN., Kuhn, D.Richard]. 242-251. "IEEE".
      • Conference Proceeding
        An input space modeling methodology for combinatorial testing
        Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
        [Borazjany, MehraN., Ghandehari, LalehSh, Lei, Yu, Kacker, Raghu, Kuhn, Rick]. 372-381. "IEEE".
      • Conference Proceeding
        Applying combinatorial testing to the Siemens suite
        Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
        [Ghandehari, LalehShikh Gholamhossein, Bourazjany, MehraN., Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. 362-371. "IEEE".
      • Conference Proceeding
        CCM: A Tool for Measuring Combinatorial Coverage of System State Space
        ACM/IEEE International Symposium on Empirical Software Engineering and Measurement
        [Dominguez, Itzel, Kuhn, DavidR, Kacker, RaghuN, Lei, Yu].
      • Conference Proceeding
        CCM: A tool for measuring combinatorial coverage of system state space
        2013 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement
        [Mendoza, ItzelDominguez, Kuhn, DRichard, Kacker, RaghuN, Lei, Yu]. 291.
      • Conference Proceeding
        Combinatorial coverage measurement concepts and applications
        Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
        [Kuhn, D.Richard, Mendoza, ItzelDominguez, Kacker, RaghuN., Lei, Yu]. 352-361. "IEEE".
      • Conference Proceeding
        Fault localization based on failure-inducing combinations
        Software Reliability Engineering (ISSRE), 2013 IEEE 24th International Symposium on
        [Ghandehari, LalehSh, Lei, Yu, Kung, DavidC, Kacker, Raghu, Kuhn, Richard]. 168-177. "IEEE".
      • Conference Proceeding
        Identifying failure-inducing combinations using tuple relationship
        Software Testing, Verification and Validation Workshops (ICSTW), 2013 IEEE Sixth International Conference on
        [Niu, Xintao, Nie, Changhai, Lei, Yu, Chan, AlvinTS]. 271-280. "IEEE".
      • Conference Proceeding
        Social Trust Prediction Using Rank-k Matrix Recovery.
        IJCAI
        [Huang, Jin, Nie, Feiping, Huang, Heng, Lei, Yu, Ding, ChrisHQ]. 2647-2653.

      2012
      • Conference Proceeding
        A multi-objective scheduling strategy based on MOGA in cloud computing environment
        Cloud Computing and Intelligent Systems (CCIS), 2012 IEEE 2nd International Conference on
        [Lei, Zhou, Xiang, Jinfeng, Zhou, Zhebo, Duan, Feng, Lei, Yu]. 1, 386-391. "IEEE".
      • Conference Proceeding
        A Novel Approach to Providing Elaborate Virtual Block Storage Services in Cloud Computing
        Control Engineering and Communication Technology (ICCECT), 2012 International Conference on
        [Lei, Zhou, Bi, Yanling, Hu, Bolin, Duan, Feng, Xiang, Jinfeng, Lei, Yu, Zhang, Long]. 612--615.
      • Conference Proceeding
        A Tiny Specification Metalanguage.
        SEKE
        [Wilson, WalterW, Lei, Yu]. 486--490.
      • Conference Proceeding
        Combinatorial methods for event sequence testing
        Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
        [Kuhn, D.Richard, Higdon, JamesM., Lawrence, JamesF., Kacker, RaghuN., Lei, Yu]. 601-609. "IEEE".
      • Conference Proceeding
        Combinatorial testing of ACTS: A case study
        Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
        [Borazjany, MehraN., Yu, Linbin, Lei, Yu, Kacker, Raghu, Kuhn, Rick]. 591-600. "IEEE".
      • Conference Proceeding
        Efficient algorithms for t-way test sequence generation
        Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on
        [Yu, Linbin, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard, Lawrence, James]. 220-229. "IEEE".
      • Conference Proceeding
        Identifying failure-inducing combinations in a combinatorial test set
        Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
        [Ghandehari, LalehShikh Gholamhossein, Lei, Yu, Xie, Tao, Kuhn, Richard, Kacker, Raghu]. 370-379. "IEEE".
      • Conference Proceeding
        Improved delta debugging based on combinatorial testing
        Quality Software (QSIC), 2012 12th International Conference on
        [Li, Jie, Nie, Changhai, Lei, Yu]. 102--105.
      • Conference Proceeding
        Isolating failure-inducing combinations in combinatorial testing using test augmentation and classification
        Software Testing, Verification and Validation (ICST), 2012 IEEE Fifth International Conference on
        [Shakya, Kiran, Xie, Tao, Li, Nuo, Lei, Yu, Kacker, Raghu, Kuhn, Richard]. 620-623. "IEEE".

      2011
      • Conference Proceeding
        A combinatorial approach to detecting buffer overflow vulnerabilities
        Dependable Systems & Networks (DSN), 2011 IEEE/IFIP 41st International Conference on
        [Wang, Wenhua, Lei, Yu, Liu, Donggang, Kung, DavidC, Csallner, Christoph, Zhang, Dazhi, Kacker, Raghu, Kuhn, Rick]. 269-278. "IEEE".
      • Conference Proceeding
        A time-series based precopy approach for live migration of virtual machines
        Parallel and Distributed Systems (ICPADS), 2011 IEEE 17th International Conference on
        [Hu, Bolin, Lei, Zhou, Lei, Yu, Xu, Dong, Li, Jiandun]. 947--952.

      2010
      • Conference Proceeding
        A carbon 2.0 framework based on cloud computing
        Computer and Information Science (ICIS), 2010 IEEE/ACIS 9th International Conference on
        [Li, Jiandun, Zhang, Wu, Peng, Junjie, Lei, Zhou, Lei, Yu]. 153-158. "IEEE".
      • Conference Proceeding
        A stateful approach to testing monitors in multithreaded programs
        High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on
        [Carver, RichardH., Lei, Jeff]. 54-63. "IEEE".
      • Conference Proceeding
        DCMTs: Supporting Dynamically Created Migratory Threads
        Computational Science and Engineering (CSE), 2010 IEEE 13th International Conference on
        [Zhu, Yueting, Zhang, Wu, Jiang, Hai, Lei, Yu, Peng, Junjie]. 96-101. "IEEE".
      • Conference Proceeding
        Detecting vulnerabilities in C programs using trace-based testing
        Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on
        [Zhang, Dazhi, Liu, Donggang, Lei, Yu, Kung, DavidC, Csallner, Christoph, Wang, Wenhua]. 241--250.

      2009
      • Conference Proceeding
        A combinatorial approach to building navigation graphs for dynamic web applications
        Software Maintenance, 2009. ICSM 2009. IEEE International Conference on
        [Wang, Wenhua, Lei, Yu, Sampath, Sreedevi, Kacker, Raghu, Kuhn, Rick, Lawrence, James]. 211-220. "IEEE".
      • Conference Proceeding
        A navigation graph builder for dynamic web applications
        Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
        [Wang, Wenhua, Lei, Yu]. 1-4. "IEEE".
      • Conference Proceeding
        Abstraction of multiple executions of object-oriented programs
        Proceedings of the 2009 ACM symposium on Applied Computing
        [Zhao, Chunying, Zhang, Kang, Lei, Yu]. 549--550.

      2008
      • Conference Proceeding
        An interaction-based test sequence generation approach for testing web applications
        High Assurance Systems Engineering Symposium, 2008. HASE 2008. 11th IEEE
        [Wang, Wenhua, Sampath, Sreedevi, Lei, Yu, Kacker, Raghu]. 209-218. "IEEE".
      • Conference Proceeding
        Reusing Existing Test Cases for Security Testing
        Software Reliability Engineering, 2008. ISSRE 2008. 19th International Symposium on
        [Zhang, Dazhi, Wang, Wenhua, Liu, Donggang, Lei, Yu, Kung, DavidC]. 323-324. "IEEE".
      • Conference Proceeding
        Towards an evaluation framework for assistive environments
        Proceedings of the 1st international conference on PErvasive Technologies Related to Assistive Environments
        [Metsis, Vangelis, Le, Zhengyi, Lei, Yu, Makedon, Fillia]. 12. "ACM".

      2007
      • Conference Proceeding
        IPOG: A general strategy for t-way software testing
        Engineering of Computer-Based Systems, 2007. ECBS’07. 14th Annual IEEE International Conference and Workshops on the
        [Lei, Yu, Kacker, Raghu, Kuhn, D.Richard, Okun, Vadim, Lawrence, James]. 549-556. "IEEE".

      2006
      • Conference Proceeding
        A state exploration-based approach to testing Java monitors
        Software Reliability Engineering, 2006. ISSRE’06. 17th International Symposium on
        [Lei, Yu, Carver, Richard, Kung, DavidC, Gupta, Vidur, Hernandez, Monica]. 256-265. "IEEE".

      2005
      • Conference Proceeding
        A blocking-based approach to protocol validation
        Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International
        [Lei, Yu, Kung, DavidC, Ye, Qizhi]. 1, 301-306. "IEEE".
      • Conference Proceeding
        A new algorithm for reachability testing of concurrent programs
        Software Reliability Engineering, 2005. ISSRE 2005. 16th IEEE International Symposium on
        [Lei, Yu, Carver, Richard]. 355. "IEEE".
      • Conference Proceeding
        A novel framework for non-deterministic testing of message-passing programs
        High-Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium on
        [Lei, Yu, Wong, Eric]. 66-75. "IEEE".
      • Conference Proceeding
        An approach to unfolding asynchronous communication protocols
        International Symposium on Formal Methods
        [Lei, Yu, Iyer, SPurushothaman]. 334--349.
      • Conference Proceeding
        An Evaluation of E-Business Metamodels.
        SEKE
        [Lei, Yu, Singh, MunindarP.]. 88-93.
      • Conference Proceeding
        Effective generation of test sequences for structural testing of concurrent programs
        Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
        [Wong, W.Eric, Lei, Yu, Ma, Xiao]. 539-548. "IEEE".

      2004
      • Conference Proceeding
        A general model for reachability testing of concurrent programs
        International Conference on Formal Engineering Methods
        [Carver, RichardH, Lei, Yu]. 76--98.
      • Conference Proceeding
        Reachability testing of semaphore-based programs
        Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
        [Lei, Yu, Carver, Richard]. 312-317. "IEEE".
      • Conference Proceeding
        Reachability testing of semaphore-based programs
        Computer Software and Applications Conference, 2004. COMPSAC 2004. Proceedings of the 28th Annual International
        [Lei, Yu, Carver, Richard]. 312-317. "IEEE".

      2002
      • Conference Proceeding
        Blocking-based simultaneous reachability analysis of asynchronous message-passing programs
        Software Reliability Engineering, 2002. ISSRE 2003. Proceedings. 13th International Symposium on
        [Lei, Yu, Tai, Kuo-Chung]. 316-326. "IEEE".
      • Conference Proceeding
        Efficient reachability testing of asynchronous message-passing programs
        Engineering of Complex Computer Systems, 2002. Proceedings. Eighth IEEE International Conference on
        [Lei, Yu, Tai, Kuo-Chung]. 35-44. "IEEE".

      1998
      • Conference Proceeding
        In-parameter-order: A test generation strategy for pairwise testing
        High-Assurance Systems Engineering Symposium, 1998. Proceedings. Third IEEE International
        [Lei, Yu, Tai, Kuo-Chung]. 254-261. "IEEE".

      1997
      • Conference Proceeding
        A comparison of workflow metamodels
        Proceedings of the ER-97 Workshop on Behavioral Modeling and Design Transformations: Issues and Opportunities in Conceptual Modeling
        [Lei, Yu, Singh, MunindarP.]. 4-6.

      2012
      • Technical Report
        Efficient methods for interoperability testing using event sequences
        [Kuhn, DavidR, Higdon, JamesM, Lawrence, JamesF, Kacker, RaghuN, Lei, Yu]. "FLIGHT TEST SQUADRON (46TH) EGLIN AFB FL".

      2008
      • Technical Report
        CrossTalk: The Journal of Defense Software Engineering. Volume 21, Number 6
        [Humphrey, WattsS, Jones, Capers, Neff, ThomasD, Anderson, Paul, Kuhn, Richard, Lei, Yu, Kacker, Raghu, Voas, Jeffrey]. "SOFTWARE TECHNOLOGY SUPPORT CENTER HILL AFB UT".

      2001
      • Technical Report
        In\_Parameter\_Oder: A test generation strategy for pairwise testing. Department of Computer Science, North Carolina State University, Raleigh
        [Lei, Yu, Tai, KC]. "North Carolina: Technical Report TR-2001-03".

Presentations

    • October  2019
      Lei, Yu, "Combinatorial Testing: An Introduction", Toyota Headquarters, Plano, Texas. (October , 2019).

Students Supervised

    • Present
      Dissertation Committee Chair
      Sunny Shree, (Computer Science and Engineer)
      AI-Based Software Engineering
    • Present
      Dissertation Committee Chair
      Ana Jovanovic, (Computer Science and Engineer)
      Testing AI-Based Software Systems
    • Present
      Dissertation Committee Chair
      Qiping Wei, (Computer Science and Engineer)
      Testing and Analysis of Smart Contracts
    • Present
      Dissertation Committee Co-Chair
      Zhongwei Li, I served as the Dissertation Committee Chair for Zhongwei until Oct 2018. I continue to serve as the Co-Chair while Prof. Hao Che serves as the Chair since Oct 2018. (Computer Science and Engineer)
    • Present
      Dissertation Committee Member
      Jianjin Deng, (Computer Science and Engineer)
    • Present
      Dissertation Committee Member
      Qicheng Wang, (Computer Science and Engineer)
    • Present
      Dissertation Committee Chair
      Mengfei Ren, (Computer Science and Engineer)
      Testing IoT-Based Software Systems
    • Present
      Dissertation Committee Chair
      Xiaolei Ren, (Computer Science and Engineer)
      Software Security and Obfuscation Techniques
    • Present
      Dissertation Committee Member
      Shafiul Chowdhury, (Computer Science and Engineer)
    • Present
      Dissertation Committee Member
      Yun Liu, (Computer Science and Engineer)
    • Present
      Dissertation Committee Member
      Zhouyuan Huo, (Computer Science and Engineer)
    • Present
      Dissertation Committee Member
      Hongchang Gao, (Computer Science and Engineer)
    • Present
      Dissertation Committee Member
      Jiawen Yao, (Computer Science and Engineer)
    • Present
      Dissertation Committee Chair
      Jaganmohan Chandrasekaran, (Computer Science and Engineer)
      Testing Big Data Software
    • Present
      Dissertation Committee Member
      Xiaoqian Wang, (Computer Science and Engineer)
    • Present
      Dissertation Committee Member
      Zhongxing Peng, (Computer Science and Engineer)
    • Present
      Dissertation Committee Chair
      Huadong Feng, (Computer Science and Engineer)
      Security Testing of Blockchain Applications
    • Present
      Dissertation Committee Chair
      Feng Duan, (Computer Science and Engineer)
      Advanced Techniques in Combinatorial Testing
    • Oct 2018
      Dissertation Committee Chair
      Zhongwei Li, (Computer Science and Engineer)
    • Apr 2018
      Dissertation Committee Member
      Luan Nguyen, (Computer Science and Engineer)
    • Feb 2018
      Dissertation Committee Chair
      Michael Ho, Michael passed away in Spring 2018. (Computer Science and Engineer)
    • May 2017
      Dissertation Committee Chair
      Sarker Ahmed, (Computer Science and Engineer)
      Automated Systems For Testing Android Applications To Detect Sensitive Information Leakage
    • Dec 2016
      Dissertation Committee Chair
      Jing Xu, (Computer Science and Engineer)
      Fault Detection and Localization Techniques for Concurrent Programs
    • May 2016
      Dissertation Committee Chair
      Laleh Ghandehari, (Computer Science and Engineer)
      Combinatorial Testing-Based Fault Localization
    • Aug 2013
      Dissertation Committee Chair
      Linbin Yu, (Computer Science and Engineer)
    • May 2013
      Dissertation Committee Chair
      Mehra Nouroz Borazjany,
    • Aug 2010
      Dissertation Committee Chair
      Wenhua Wang, (Computer Science and Engineer)

Courses

      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Summer - Eleven Week - 2021
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Summer - Eleven Week - 2021
      • CSE 7399-004 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Summer - Eleven Week - 2021
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Summer - Regular Academic Session - 2021 Download Syllabus
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Summer - Five Week - First - 2021
      • CSE 6324-003 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Spring - Regular Academic Session - 2021 Download Syllabus
      • CSE 5393-004 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Spring - Regular Academic Session - 2021
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2021
      • CSE 6699-900 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2021
      • CSE 6999-004 DISSERTATION
        (Course Id: 102619)
        Spring - Regular Academic Session - 2021
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2021
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2021
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2021 Download Syllabus
      • CSE 4321-900 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2021
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2020
      • CSE 6699-900 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2020
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2020
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2020
      • CSE 6997-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102618)
        Fall - Regular Academic Session - 2020
      • CSE 4321-002 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Fall - Regular Academic Session - 2020 Download Syllabus
      • CSE 4321-900 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Fall - Regular Academic Session - 2020 Download Syllabus
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Summer - Five Week - First - 2020 Download Syllabus
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Summer - Eleven Week - 2020
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Summer - Five Week - First - 2020 Download Syllabus
      • CSE 6324-003 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Spring - Regular Academic Session - 2020 Download Syllabus
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2020
      • CSE 6999-004 DISSERTATION
        (Course Id: 102619)
        Spring - Regular Academic Session - 2020
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2020
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2020
      • CSE 6997-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102618)
        Spring - Regular Academic Session - 2020
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2019
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2019
      • CSE 6997-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102618)
        Fall - Regular Academic Session - 2019
      • CSE 4321-002 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Fall - Regular Academic Session - 2019
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Summer - Five Week - First - 2019 Download Syllabus
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Summer - Five Week - First - 2019 Download Syllabus
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2019
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2019
      • CSE 7399-004 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Spring - Regular Academic Session - 2019
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2019
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2019
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2019 Download Syllabus
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2018
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2018
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2018
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Summer - Five Week - First - 2018 Download Syllabus
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2018
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2018
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2018
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2018 Download Syllabus
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2017
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2017
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2017
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Summer - Five Week - First - 2017
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Summer - Five Week - First - 2017
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2017
      • CSE 7399-004 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Spring - Regular Academic Session - 2017
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2017
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2017
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2017
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2016
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2016
      • CSE 7399-004 DOCTORAL DEGREE COMPLETION
        (Course Id: 111647)
        Fall - Regular Academic Session - 2016
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2016
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2016
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2016
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Summer - Eleven Week - 2016
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Summer - Eleven Week - 2016
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2016
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2016
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2016
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2015
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2015
      • CSE 5398-004 MASTER'S THESIS I
        (Course Id: 102566)
        Fall - Regular Academic Session - 2015
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2015
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2015
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2015
      • CSE 5321-033 SOFTWARE TESTING
        (Course Id: 102519)
        Fall - Regular Academic Session - 2015
      • CSE 5698-004 MASTER'S THESIS II
        (Course Id: 102571)
        Summer - Eleven Week - 2015
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2015
      • CSE 5698-004 MASTER'S THESIS II
        (Course Id: 102571)
        Spring - Regular Academic Session - 2015
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2015
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2015
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2015
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2014
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2014
      • CSE 5398-004 MASTER'S THESIS I
        (Course Id: 102566)
        Fall - Regular Academic Session - 2014
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2014
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2014
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2014
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Summer - Eleven Week - 2014
      • CSE 5393-004 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Spring - Regular Academic Session - 2014
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2014
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2014
      • CSE 5321-001 SOFTWARE TESTING
        (Course Id: 102519)
        Spring - Regular Academic Session - 2014
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2014
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2013
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2013
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2013
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2013
      • CSE 5324-002 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2013
      • CSE 6388-001 SPEC TOPS ADV INFO SECURITY
        (Topic: Theory for Software & Security | Course Id: 110981)
        Fall - Regular Academic Session - 2013
      • CSE 6999-004 DISSERTATION
        (Course Id: 102619)
        Summer - Eleven Week - 2013
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Summer - Eleven Week - 2013
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2013
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2013
      • CSE 6999-004 DISSERTATION
        (Course Id: 102619)
        Spring - Regular Academic Session - 2013
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2013
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2013
      • CSE 5321-001 SOFTWARE TESTING
        (Course Id: 102519)
        Spring - Regular Academic Session - 2013
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Spring - Regular Academic Session - 2013
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2012
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2012
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2012
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2012
      • CSE 5324-001 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2012
      • CSE 5324-002 SFWR ENG I ANLY, DSGN, TESTING
        (Course Id: 102522)
        Fall - Regular Academic Session - 2012
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Summer - Eleven Week - 2012
      • CSE 5698-004 MASTER'S THESIS II
        (Course Id: 102571)
        Summer - Eleven Week - 2012
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Summer - Eleven Week - 2012
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2012
      • CSE 5698-004 MASTER'S THESIS II
        (Course Id: 102571)
        Spring - Regular Academic Session - 2012
      • CSE 1325-001 OBJECT-ORIENTED PROGRAMMING
        (Course Id: 102405)
        Spring - Regular Academic Session - 2012
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2012
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Spring - Regular Academic Session - 2012
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2011
      • CSE 5393-004 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Fall - Regular Academic Session - 2011
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2011
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2011
      • CSE 6697-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102614)
        Fall - Regular Academic Session - 2011
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Fall - Regular Academic Session - 2011
      • CSE 5393-004 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Summer - Eleven Week - 2011
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Summer - Eleven Week - 2011
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Summer - Eleven Week - 2011
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2011
      • CSE 5398-004 MASTER'S THESIS I
        (Course Id: 102566)
        Spring - Regular Academic Session - 2011
      • CSE 1325-001 OO & EVENT-DRIVEN PROGRAMMING
        (Course Id: 102405)
        Spring - Regular Academic Session - 2011
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Spring - Regular Academic Session - 2011
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2010
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2010
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Fall - Regular Academic Session - 2010
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Fall - Regular Academic Session - 2010
      • CSE 5393-004 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Summer - Eleven Week - 2010
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Summer - Eleven Week - 2010
      • CSE 6999-004 DISSERTATION
        (Course Id: 102619)
        Summer - Eleven Week - 2010
      • CSE 1325-001 OO & EVENT-DRIVEN PROGRAMMING
        (Course Id: 102405)
        Summer - Eleven Week - 2010
      • CSE 6397-004 RESEARCH IN COMPUTER SCIENCE
        (Course Id: 102609)
        Summer - Eleven Week - 2010
      • CSE 5393-004 DIRECTED STUDY IN COMPUTER SCI
        (Course Id: 102562)
        Spring - Regular Academic Session - 2010
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Spring - Regular Academic Session - 2010
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Spring - Regular Academic Session - 2010
      • CSE 6323-001 FORMAL METHODS SOFTWARE ENGR
        (Course Id: 102584)
        Spring - Regular Academic Session - 2010
      • CSE 6324-001 ADV TOPS SOFTWARE ENGINEERING
        (Course Id: 102585)
        Fall - Regular Academic Session - 2009
      • CSE 6399-004 DISSERTATION
        (Course Id: 102610)
        Fall - Regular Academic Session - 2009
      • CSE 6699-004 DISSERTATION
        (Course Id: 102615)
        Fall - Regular Academic Session - 2009
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Fall - Regular Academic Session - 2009

Service to the University

    • Sept 2020 to  Present Committee Member
      ABET
    • Sept 2018 to  Present Committee Member
      Faculty Recognition: FDL and REP
    • Sept 2015 to  Present Program Director
      Software Engineering Undergraduate Program
    • Sept 2015 to  Present Committee Member
      Undergraduate Curriculum Committee

Service to the Profession

    • 2019 to  2020
      Workshop Organizer
      IEEE International Workshop on Combinatorial Testing
    • Feb 2020 to  Mar 2020
      Reviewer, Grant Proposal
      Hong Kong Research Grant Council
    • Past to  Dec 2019
      Reviewer, Journal Article
      IEEE Transactions on Software Engineering
    • Nov 2019 to  Dec 2019
      Reviewer, Journal Article
      IEEE Software
    • 2018 to  2019
      Workshop Organizer
      IEEE International Workshop on Combinatorial Testing
    • 2018 to  2019
      Committee Member
      International Conference on Software Engineering and Knowledge Engineering
    • Past to  Nov 2019
      External Reviewer for PhD Dissertation
      Tel Aviv University
    • Oct 2019 to  Nov 2019
      Reviewer, Journal Article
      Software Quality Journal
      Reviewed one journal article.
    • Aug 2019 to  Sept 2019
      External reviewer for tenure promotion
      University of North Texas
    • June 2018 to  Apr 2019
      Committee Member
      ICST Program Committee
    • Feb 2019 to  Mar 2019
      Reviewer, Grant Proposal
      Hong Kong Research Grants Council
    • Feb 2019 to  Mar 2019
      Reviewer, Grant Proposal
      NSF
    • Nov 2018 to  Feb 2019
      Committee Member
      International Conference on Software and Data Technologies Program Committee
    • 2016 to  2018
      Member
      IWCT Steering Committee
    • Apr 2018 to  Aug 2018
      Committee Member
      IEEE Int'l Conf. on Computer and Information Technology Program Committee
    • Feb 2018 to  Mar 2018
      Reviewer, Grant Proposal
      Hong Kong Research Grants Council
    • Nov 2017 to  Dec 2017
      Reviewer, Journal Article
      IEEE Transactions on Reliability
    • Nov 2017 to  Dec 2017
      Reviewer, Journal Article
      Journal of Information Sciences
    • 2015 to  2017
      Committee Member
      IEEE Int'l Conf. on Computer and Information Technology Program Committee
    • 2014 to  2017
      Committee Member
      International Conference on Software Engineering and Knowledge Engineering Program Committee
    • 2014 to  2015
      Committee Member
      IEEE Int'l Conf. on Multicore Software Engineering, Performance and Tools Program Committee
    • 2013 to  2015
      Committee Member
      IEEE WETICE Track on Validation of Safety Critical Collaboration Systems Program Committee
    • 2012 to  2015
      Committee Member
      ICST Program Committee
    • 2012 to  2015
      PC Co-Chair
      IWCT Program Committee
    • Jan 2014 to  Dec 2014
      Committee Member
      ICST Program Committee
    • 2008 to  2009
      Committee Member
      ICST Program Committee