Yu Lei

Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Nathaniel Nystrom, Wenhua Wang: SimFuzz: Test case similarity directed deep fuzzing. Journal of Systems and Software 85(1): 102-111 (2012)

Linbin Yu, Yu Lei, Raghu Kacker, D. Richard Kuhn, James Lawrence: Efficient Algorithms for T-way Test Sequence Generation. ICECCS 2012: 220-229

Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, D. Richard Kuhn, Raghu Kacker: Identifying Failure-Inducing Combinations in a Combinatorial Test Set. ICST 2012: 370-379

Mehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn: Combinatorial Testing of ACTS: A Case Study. ICST 2012: 591-600

D. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei: Combinatorial Methods for Event Sequence Testing. ICST 2012: 601-609

Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, D. Richard Kuhn: Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification. ICST 2012: 620-623

Jie Li, Changhai Nie, Yu Lei: Improved Delta Debugging Based on Combinatorial Testing. QSIC 2012: 102-105

Walter W. Wilson, Yu Lei: A Tiny Specification Metalanguage. SEKE 2012: 486-490

Jim Lawrence, Raghu Kacker, Yu Lei, D. Richard Kuhn, Michael A. Forbes: A Survey of Binary Covering Arrays. Electr. J. Comb. 18(1) (2011)

Wenhua Wang, Yu Lei, Donggang Liu, David Chenho Kung, Christoph Csallner, Dazhi Zhang, Raghu Kacker, Rick Kuhn: A combinatorial approach to detecting buffer overflow vulnerabilities. DSN 2011: 269-278

Bolin Hu, Zhou Lei, Yu Lei, Dong Xu, Jiandun Li: A Time-Series Based Precopy Approach for Live Migration of Virtual Machines. ICPADS 2011: 947-952

Christophe Cérin, Yu Lei, Michel Koskas: Computing Properties of Large Scalable and Fault-Tolerant Logical Networks. SBAC-PAD 2011: 160-167

Richard H. Carver, Yu Lei: Distributed reachability testing of concurrent programs. Concurrency and Computation: Practice and Experience 22(18): 2445-2466 (2010)

Richard H. Carver, Yu Lei: A class library for implementing, testing, and debugging concurrent programs. STTT 12(1): 69-88 (2010)

Jiandun Li, Wu Zhang, Junjie Peng, Zhou Lei, Yu Lei: A Carbon 2.0 Framework Based on Cloud Computing. ACIS-ICIS 2010: 153-158

Yueting Zhu, Wu Zhang, Hai Jiang, Yu Lei, Junjie Peng: DCMTs: Supporting Dynamically Created Migratory Threads. CSE 2010: 96-101

Dazhi Zhang, Donggang Liu, Yu Lei, David Chenho Kung, Christoph Csallner, Wenhua Wang: Detecting vulnerabilities in C programs using trace-based testing. DSN 2010: 241-250

Qi Zhenguo, Yu Lei: Enhancing the Educational Technology Capacity for University Teachers in China. ICEE 2010: 5439-5442

Rick Kuhn, Raghu Kacker, Yu Lei, Justin Hunter: Combinatorial Software Testing. IEEE Computer 42(8): 94-96 (2009)

Wenhua Wang, Yu Lei, Sreedevi Sampath, Raghu Kacker, Rick Kuhn, James Lawrence: A combinatorial approach to building navigation graphs for dynamic web applications. ICSM 2009: 211-220

Chunying Zhao, Kang Zhang, Yu Lei: Abstraction of multiple executions of object-oriented programs. SAC 2009: 549-550

W. Eric Wong, Yu Lei: Reachability Graph-Based Test Sequence Generation for Concurrent Programs. International Journal of Software Engineering and Knowledge Engineering 18(6): 803-822 (2008)

Rick Kuhn, Yu Lei, Raghu Kacker: Practical Combinatorial Testing: Beyond Pairwise. IT Professional 10(3): 19-23 (2008)

Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence: IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing. Softw. Test., Verif. Reliab. 18(3): 125-148 (2008)

Wenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker: An Interaction-Based Test Sequence Generation Approach for Testing Web Applications. HASE 2008: 209-218

Dazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung: Reusing Existing Test Cases for Security Testing. ISSRE 2008: 323-324

Vangelis Metsis, Zhengyi Le, Yu Lei, Fillia Makedon: Towards an evaluation framework for assistive environments. PETRA 2008: 12

Yu Lei, Richard H. Carver, Raghu Kacker, David Chenho Kung: A combinatorial testing strategy for concurrent programs. Softw. Test., Verif. Reliab. 17(4): 207-225 (2007)

Yu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence: IPOG: A General Strategy for T-Way Software Testing. ECBS 2007: 549-556

Zhou Tao, Sun Liang, Ren Bo, Yu Lei: Fighter aircraft guidance and control based on combat power potential. ROBIO 2007: 1798-1803

Qizhi Ye, Yu Lei, David Chenho Kung: A Blocking-based Approach to Protocol Validation. Comput. J. 49(5): 541-553 (2006)

Yu Lei, Richard H. Carver: Reachability Testing of Concurrent Programs. IEEE Trans. Software Eng. 32(6): 382-403 (2006)

Yu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez: A State Exploration-Based Approach to Testing Java Monitors. ISSRE 2006: 256-265

Yu Lei, David Chenho Kung, Qizhi Ye: A Blocking-Based Approach to Protocol Validation. COMPSAC (1) 2005: 301-306

Yu Lei, S. Purushothaman Iyer: An Approach to Unfolding Asynchronous Communication Protocols. FM 2005: 334-349

Yu Lei, W. Eric Wong: A Novel Framework for Non-Deterministic Testing of Message-Passing Programs. HASE 2005: 66-75

W. Eric Wong, Yu Lei, Xiao Ma: Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. ICECCS 2005: 539-548

Yu Lei, Richard H. Carver: A New Algorithm for Reachability Testing of Concurrent Programs. ISSRE 2005: 346-355

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

Yu Lei, Deren Chen, Zhongding Jiang: Generating Digital Signatures on Mobile Devices. AINA (2) 2004: 532-535

Yu Lei, Richard H. Carver: Reachability Testing of Semaphore-Based Programs. COMPSAC 2004: 312-317

Yu Lei, Zhongding Jiang, Deren Chen, Hujun Bao: Image-Based Walkthrough over Internet on Mobile Devices. GCC Workshops 2004: 728-735

Yu Lei, Richard H. Carver: Reachability testing of monitor-based programs. IASTED Conf. on Software Engineering and Applications 2004: 312-317

Richard H. Carver, Yu Lei: A General Model for Reachability Testing of Concurrent Programs. ICFEM 2004: 76-98

Kuo-Chung Tai, Yu Lei: A Test Generation Strategy for Pairwise Testing. IEEE Trans. Software Eng. 28(1): 109-111 (2002)

Yu Lei, Kuo-Chung Tai: Efficient Reachability Testing of Asynchronous Message-Passing Programs. ICECCS 2002: 35-

Yu Lei, Kuo-Chung Tai: Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. ISSRE 2002: 316-328

Yu Lei, Kuo-Chung Tai: In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. HASE 1998: 254-261