Skip to content. Skip to main navigation.

avatar

Jeff Lei

Name

[Yu Lei]
  • Professor, Computer Science and Engineering

Education

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

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)

Publications

      Journal Article Accepted
      • 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".
      Accepted
      • A Combinatorial Testing-Based Approach to Fault Localization
        [Ghandehari, LalehSh, Lei, Yu, Kacker, Raghu, Kuhn, DRichard Rick, Kung, DavidC, Xie, Tao]. "IEEE".
      Accepted
      • Identifying failure-causing schemas in the presence of multiple faults
        [Niu, Xintao, Nie, Changhai, Lei, Yu, Leung, HaretonKN, Wang, Xiaoyin]. "IEEE".

      Conference Proceeding 2018 2018
      • Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis
        [Rao, Chang, Guo, Jin, Li, Nan, Lei, Yu, Zhang, YaDong, Li, Yao]. 397--404 [.]

      Journal Article 2018
      • 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]. 1--27 [.] "Springer US".
      2018
      • Stateless techniques for generating global and local test oracles for message-passing concurrent programs
        [Carver, R, Lei, Yu]. 136, 237--265 [.] "Elsevier".

      Conference Proceeding 2017
      • Testing TLS using combinatorial methods and execution framework
        [Simos, DimitrisE, Bozic, Josip, Duan, Feng, Garn, Bernhard, Kleine, Kristoffer, Lei, Yu, Wotawa, Franz]. 162--177 [.]
      2017
      • Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures
        [Xu, Jing, Lei, Yu, Carver, Richard]. 35--46 [.]

      Other 2017
      • A Model for T-Way Fault Profile Evolution during Testing.
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu]. 162--170 [.]
      2017
      • Applying combinatorial testing to data mining algorithms
        [Chandrasekaran, Jaganmohan, Feng, Huadong, Lei, Yu, Kuhn, DRichard, Kacker, Raghu]. 253--261 [.]
      2017
      • Applying combinatorial testing to high-speed railway track circuit receiver
        [Rao, Chang, Guo, Jin, Li, Nan, Lei, Yu, Zhang, Yadong, Li, Yao, Cao, Yaxin]. 199--207 [.]
      2017
      • Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring
        [Duan, Feng, Lei, Yu, Yu, Linbin, Kacker, RaghuN, Kuhn, DRichard]. 181--188 [.]

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

      Conference Proceeding 2016
      • A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
        [Simos, DimitrisE., Kleine, Kristoffer, Ghandehari, LalehShikh Gholamhossein, Garn, Bernhard, Lei, Yu]. 70-85 [.] "Springer".
      2016
      • Applying combinatorial test data generation to big data applications
        [Li, Nan, Lei, Yu, Khan, HaiderRiaz, Liu, Jingshu, Guo, Yun]. 637-647 [.] "ACM".
      2016
      • Estimating t-Way Fault Profile Evolution During Testing
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu]. 2, 596-597 [.] "IEEE".
      2016
      • An Object-Oriented Analysis and Design Environment
        [Kung, DavidC, Lei, Yu]. 91-100 [.] "IEEE".

      Other 2016
      • The tail at scale: how to predict it?
        [Nguyen, Minh, Li, Zhongwei, Duan, Feng, Che, Hao, Jiang, Hong, Lei, Yu].
      2016
      • Towards Agile Testing for Railway Safety-critical Software
        [Li, Nan, Guo, Jin, Lei, Yu, Li, Yao, Rao, Chang, Cao, YaXin]. 18 [.] "ACM".
      2016
      • Evaluating the effectiveness of ben in localizing different types of software fault
        [Chandrasekaran, Jaganmohan, Ghandehari, LalehSh, Lei, Yu, Kacker, Raghu, Kuhn, D.Richard]. 26-34 [.] "IEEE".
      2016
      • Pseudo-exhaustive testing of attribute based access control rules
        [Kuhn, D.Richard, Hu, Vincent, Ferraiolo, DavidF., Kacker, RaghuN., Lei, Yu]. 51-58 [.] "IEEE".
      2016
      • The relationship between software bug type and number of factors involved in failures
        [Ratliff, ZacharyB, Kuhn, DRichard, Kacker, RaghuN, Lei, Yu, Trivedi, KishorS]. 119--124 [.]

      Conference Proceeding 2015
      • A Spark-based study on the massive video-receive IO issues
        [Lei, Zhou, Lin, Hong-Xun, Du, Hong-Guang, Shen, Wen-Feng, Zhang, Hui-Ran, Lei, Yu]. 30--36 [.]
      2015
      • Implementing and managing policy rules in attribute based access control
        [Hu, Vincent, Ferraiolo, DavidF, Kuhn, DRichard, Kacker, RaghuN, Lei, Yu]. 518--525 [.]
      2015
      • A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops
        [Xu, Jing, Lei, Yu, Carver, Richard, Kung, DavidC]. 1-10 [.] "IEEE".

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

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

      Other 2015
      • BEN: A combinatorial testing-based fault localization tool
        [Ghandehari, LalehSh, Chandrasekaran, Jaganmohan, Lei, Yu, Kacker, Raghu, Kuhn, D.Richard]. 1-4 [.] "IEEE".
      2015
      • Constraint handling in combinatorial test generation using forbidden tuples
        [Yu, Linbin, Duan, Feng, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. 1-9 [.] "IEEE".
      2015
      • Efficient Verification of Equivalence Classes and Simultaneous Testing Using Two-layer Covering Arrays
        [Kuhn, D. Richard, Kacker, RaghuN, Lei, Yu, Torres-Jimenez, Jose].
      2015
      • Equivalence class verification and oracle-free testing using two-layer covering arrays
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu, Torres-Jimenez, Jose]. 1--4 [.]
      2015
      • Improving IPOG’s vertical growth based on a graph coloring scheme
        [Duan, Feng, Lei, Yu, Yu, Linbin, Kacker, RaghuN., Kuhn, D.Richard]. 1-8 [.] "IEEE".

      Conference Proceeding 2014
      • Effective and scalable uncertainty evaluation for large-scale complex system applications
        [Xie, Junfei, Wan, Yan, Zhou, Yi, Mills, Kevin, Filliben, JamesJ., Lei, Yu]. 733-744 [.] "IEEE".
      2014
      • An Improved Image File Storage Method Using Data Deduplication
        [Lei, Zhou, Li, Zhaoxin, Lei, Yu, Bi, Yanling, Hu, Luokai, Shen, Wenfeng]. 638-643 [.] "IEEE".
      2014
      • Combinatorial test generation for software product lines using minimum invalid tuples
        [Yu, Linbin, Duan, Feng, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. 65-72 [.] "IEEE".

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

      Other 2014
      • An empirical comparison of combinatorial and random testing
        [Ghandehari, LalehSh, Czerwonka, Jacek, Lei, Yu, Shafiee, Soheil, Kacker, Raghu, Kuhn, Richard]. 68-77 [.] "IEEE".
      2014
      • Estimating Fault Detection Effectiveness
        [Kuhn, Rick, Kacker, Raghu, Lei, Yu]. 154--154 [.]

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

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

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

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

      Journal Article 2012
      • 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].
      2012
      • Combinatorial Testing for Software used in Metrology
        [Kacker, Raghu, Kuhn, DRichard, Lei, Yu, Lawrence, James].
      2012
      • Combinatorial Testing, Encyclopedia of Software Engineering, edited by Phillip A. Laplante
        [Kuhn, D.R., Kacker, R.N., Lei, Yu].
      2012
      • Coverage Measurement
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu].
      2012
      • No title
        [Hill, JustinT.].
      2012
      • SimFuzz: Test case similarity directed deep fuzzing
        [Zhang, Dazhi, Liu, Donggang, Lei, Yu, Kung, DavidC, Csallner, Christoph, Nystrom, Nathaniel, Wang, Wenhua]. 85(1), 102-111 [.]
      2012
      • 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".

      Technical Report 2012
      • 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".

      Conference Proceeding 2011
      • A combinatorial approach to detecting buffer overflow vulnerabilities
        [Wang, Wenhua, Lei, Yu, Liu, Donggang, Kung, DavidC, Csallner, Christoph, Zhang, Dazhi, Kacker, Raghu, Kuhn, Rick]. 269-278 [.] "IEEE".
      2011
      • A time-series based precopy approach for live migration of virtual machines
        [Hu, Bolin, Lei, Zhou, Lei, Yu, Xu, Dong, Li, Jiandun]. 947--952 [.]

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

      Book Chapter 2010
      • Combinatorial testing
        [Bryce, Ren\'ee C, Lei, Yu, Kuhn, DRichard, Kacker, Raghu]. 196--208 [.] "IGI Global".

      Conference Proceeding 2010
      • A carbon 2.0 framework based on cloud computing
        [Li, Jiandun, Zhang, Wu, Peng, Junjie, Lei, Zhou, Lei, Yu]. 153-158 [.] "IEEE".
      2010
      • A stateful approach to testing monitors in multithreaded programs
        [Carver, RichardH., Lei, Jeff]. 54-63 [.] "IEEE".
      2010
      • DCMTs: Supporting Dynamically Created Migratory Threads
        [Zhu, Yueting, Zhang, Wu, Jiang, Hai, Lei, Yu, Peng, Junjie]. 96-101 [.] "IEEE".
      2010
      • Detecting vulnerabilities in C programs using trace-based testing
        [Zhang, Dazhi, Liu, Donggang, Lei, Yu, Kung, DavidC, Csallner, Christoph, Wang, Wenhua]. 241--250 [.]

      Journal Article 2010
      • A class library for implementing, testing, and debugging concurrent programs
        [Carver, RichardH., Lei, Yu]. 12(1), 69-88 [.]
      2010
      • Advanced combinatorial test methods for system reliability
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu].
      2010
      • Distributed reachability testing of concurrent programs
        [Carver, RichardH., Lei, Yu]. 22(18), 2445-2466 [.]
      2010
      • Random vs. combinatorial methods for discrete event simulation of a grid computer network
        [Kuhn, D.Richard, Kacker, Raghu, Lei, Yu].
      2010
      • Sp 800-142. practical combinatorial testing
        [Kuhn, DRichard, Kacker, RaghuN, Lei, Yu]. "National Institute of Standards \& Technology".
      2010
      • Sp 800-142. practical combinatorial testing
        [Kuhn, D.Richard, Kacker, RaghuN., Lei, Yu].
      2010
      • 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 [.]
      2010
      • 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 [.]

      Conference Proceeding 2009
      • A combinatorial approach to building navigation graphs for dynamic web applications
        [Wang, Wenhua, Lei, Yu, Sampath, Sreedevi, Kacker, Raghu, Kuhn, Rick, Lawrence, James]. 211-220 [.] "IEEE".
      2009
      • A navigation graph builder for dynamic web applications
        [Wang, Wenhua, Lei, Yu]. 1-4 [.] "IEEE".
      2009
      • Abstraction of multiple executions of object-oriented programs
        [Zhao, Chunying, Zhang, Kang, Lei, Yu]. 549--550 [.]

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

      Conference Proceeding 2008
      • An interaction-based test sequence generation approach for testing web applications
        [Wang, Wenhua, Sampath, Sreedevi, Lei, Yu, Kacker, Raghu]. 209-218 [.] "IEEE".
      2008
      • Reusing Existing Test Cases for Security Testing
        [Zhang, Dazhi, Wang, Wenhua, Liu, Donggang, Lei, Yu, Kung, DavidC]. 323-324 [.] "IEEE".
      2008
      • Towards an evaluation framework for assistive environments
        [Metsis, Vangelis, Le, Zhengyi, Lei, Yu, Makedon, Fillia]. 12 [.] "ACM".

      Journal Article 2008
      • Automated combinatorial test methods: Beyond pairwise testing
        [Kuhn, D.Richard, Kacker, Raghu, Lei, Yu]. 21(6), 22-26 [.]
      2008
      • Combinatorial and random testing effectiveness for a grid computer simulator
        [Kuhn, DRichard, Kacker, Raghu, Lei, Yu]. 24,
      2008
      • 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".
      2008
      • 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 [.]
      2008
      • Practical combinatorial testing: Beyond pairwise
        [Kuhn, Rick, Lei, Yu, Kacker, Raghu].(3), 19--23 [.] "IEEE".
      2008
      • Practical combinatorial testing: Beyond pairwise
        [Kuhn, Rick, Lei, Yu, Kacker, Raghu]. 10(3),
      2008
      • Reachability graph-based test sequence generation for concurrent programs
        [Wong, W.Eric, Lei, Yu]. 18(06), 803-822 [.]
      2008
      • Refining the in-parameter-order strategy for constructing covering arrays
        [Forbes, Michael, Lawrence, Jim, Lei, Yu, Kacker, RaghuN., Kuhn, D.Richard]. 113(5), 287 [.]

      Technical Report 2008
      • 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".

      Conference Proceeding 2007
      • IPOG: A general strategy for t-way software testing
        [Lei, Yu, Kacker, Raghu, Kuhn, D.Richard, Okun, Vadim, Lawrence, James]. 549-556 [.] "IEEE".

      Journal Article 2007
      • A combinatorial testing strategy for concurrent programs
        [Lei, Yu, Carver, RichardH., Kacker, Raghu, Kung, DavidC]. 17(4), 207-225 [.]
      2007
      • 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".
      2007
      • 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".

      Conference Proceeding 2006
      • A state exploration-based approach to testing Java monitors
        [Lei, Yu, Carver, Richard, Kung, DavidC, Gupta, Vidur, Hernandez, Monica]. 256-265 [.] "IEEE".

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

      Conference Proceeding 2005
      • A blocking-based approach to protocol validation
        [Lei, Yu, Kung, DavidC, Ye, Qizhi]. 1, 301-306 [.] "IEEE".
      2005
      • A new algorithm for reachability testing of concurrent programs
        [Lei, Yu, Carver, Richard]. 355 [.] "IEEE".
      2005
      • A novel framework for non-deterministic testing of message-passing programs
        [Lei, Yu, Wong, Eric]. 66-75 [.] "IEEE".
      2005
      • An approach to unfolding asynchronous communication protocols
        [Lei, Yu, Iyer, SPurushothaman]. 334--349 [.]
      2005
      • An Evaluation of E-Business Metamodels.
        [Lei, Yu, Singh, MunindarP.]. 88-93 [.]
      2005
      • Effective generation of test sequences for structural testing of concurrent programs
        [Wong, W.Eric, Lei, Yu, Ma, Xiao]. 539-548 [.] "IEEE".

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

      Conference Proceeding 2004
      • A general model for reachability testing of concurrent programs
        [Carver, RichardH, Lei, Yu]. 76--98 [.]
      2004
      • Reachability testing of semaphore-based programs
        [Lei, Yu, Carver, Richard]. 312-317 [.] "IEEE".
      2004
      • Reachability testing of semaphore-based programs
        [Lei, Yu, Carver, Richard]. 312-317 [.] "IEEE".

      Journal Article 2004
      • A general model for reachability testing of concurrent programs
        [Carver, Richard, Lei, Yu]. 76-98 [.]
      2004
      • 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].

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

      Conference Proceeding 2002
      • Blocking-based simultaneous reachability analysis of asynchronous message-passing programs
        [Lei, Yu, Tai, Kuo-Chung]. 316-326 [.] "IEEE".
      2002
      • Efficient reachability testing of asynchronous message-passing programs
        [Lei, Yu, Tai, Kuo-Chung]. 35-44 [.] "IEEE".

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

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

      Technical Report 2001
      • 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".

      Conference Proceeding 1998
      • In-parameter-order: A test generation strategy for pairwise testing
        [Lei, Yu, Tai, Kuo-Chung]. 254-261 [.] "IEEE".

      Conference Proceeding 1997
      • A comparison of workflow metamodels
        [Lei, Yu, Singh, MunindarP.]. 4-6 [.]

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  - $388519
      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)
    • Oct 2012 to Sept 2015 Combinatorial Testing for Healthcare Systems sponsored by  - $330384
      Yu Lei (Funded)
    • Apr 2012 to Sept 2015 ARRA: Combinatorial Testing for Healthcare Systems sponsored by  - $70033
      Yu Lei (Funded)
    • Sept 2010 to Aug 2014 Fault Localization Based on Combinatorial Testing sponsored by  - $250000
      Yu Lei (Funded)
    • Aug 2013 to July 2014 Planning Grant: Collaborative: I/UCRC for Assistive Technologies to Enhance Human Performance sponsored by  - $16032
      (Funded)
    • Sept 2009 to Aug 2012 Advanced Combinatorial Testing Techniques sponsored by  - $246537.93994140625
      Yu Lei (Funded)
    • Sept 2006 to Aug 2009 Efficient Test Generation For Combinatorial Testing sponsored by  - $188624
      Yu Lei (Funded)
    • Sept 2006 to May 2007 Healthcare for the Homeless sponsored by  - $10890
      Yu Lei (Funded)
    • May 2005 to Aug 2008 Webtronics Competition and Proactive Student Retention: Increasing Undergraduate in Software Engineering sponsored by  - $58500
      (Funded)
    • Sept 2005 to Aug 2006 Automated Software Testing Using Covering Arrays sponsored by  - $48045.2998046875
      Yu Lei (Funded)
    • May 2005 to Apr 2006 A Testing Framework for Reproducible Execution and Race Condition Detection in Real-Time Embedded Systems sponsored by  - $36300
      Yu Lei (Funded)
    • May 2007 to Sept 2007 FY 2007 Summer Undergraduate Research Fellowship (SURF) Program sponsored by  - $7400
      Yu Lei (Funded)

Students Supervised

    • Present
      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
      Jianjin Deng, (Computer Science and Engineer)
    • Present
      Qicheng Wang, (Computer Science and Engineer)
    • Present
      Mengfei Ren, (Computer Science and Engineer)
    • Present
      Xiaolei Ren, (Computer Science and Engineer)
      Software Security and Obfuscation Techniques
    • Present
      Shafiul Chowdhury, (Computer Science and Engineer)
    • Present
      Yun Liu,
    • Present
      Zhouyuan Huo,
    • Present
      Hongchang Gao,
    • Present
      Jiawen Yao,
    • Present
      Jaganmohan Chandrasekaran, (Computer Science and Engineer)
      Testing Big Data Software
    • Present
      Xiaoqian Wang,
    • Present
      Zhongxing Peng,
    • Present
      Huadong Feng, (Computer Science and Engineer)
      Security Testing of Blockchain Applications
    • Present
      Feng Duan, (Computer Science and Engineer)
      Advanced Techniques in Combinatorial Testing
    • Oct 2018
      Zhongwei Li, (Computer Science and Engineer)
    • Apr 2018
      Luan Nguyen,
    • Feb 2018
      Michael Ho, Michael passed away in Spring 2018. (Computer Science and Engineer)
    • May 2017
      Sarker Ahmed, (Computer Science and Engineer)
    • Dec 2016
      Jing Xu, (Computer Science and Engineer)
      Fault Detection and Localization Techniques for Concurrent Programs
    • May 2016
      Laleh Ghandehari, (Computer Science and Engineer)
    • Aug 2013
      Linbin Yu, (Computer Science and Engineer)
    • May 2013
      Mehra Nouroz Borazjany,
    • Aug 2010
      Wenhua Wang, (Computer Science and Engineer)

Courses

      • 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
      • CSE 4321-001 SOFTWARE TESTING & MAINTENANCE
        (Course Id: 102468)
        Summer - Five Week - First - 2019
      • 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
      • 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 2015 to  Present Program Director
      Software Engineering Undergraduate Program
    • Sept 2015 to  Present Committee Member
      Undergraduate Curriculum Committee
    • Sept 2008 to  Present Committee Member
      T&P
    • Sept 2016 to  Aug 2018 Committee Member
      Undergraduate Curriculum Committee
    • Sept 2014 to  Aug 2018 Committee Chair
      IAB Faculty Committee
    • Sept 2016 to  Aug 2017 Committee Member
      CSE Industry MS Program
    • Sept 2016 to  Aug 2017 Committee Member
      Faculty Awards Committee
    • Sept 2014 to  Aug 2015 Committee Member
      Graduate Studies and Curriculum Committee

Service to the Profession

    • June 2018 to  Apr 2019
      Committee Member
      ICST Program Committee
    • 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