dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yu Lei Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaleh 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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMehra N. Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn: Combinatorial Testing of ACTS: A Case Study. ICST 2012: 591-600
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLD. Richard Kuhn, James M. Higdon, James Lawrence, Raghu Kacker, Yu Lei: Combinatorial Methods for Event Sequence Testing. ICST 2012: 601-609
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKiran 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDazhi 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)
2011
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenhua 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBolin 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
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJim Lawrence, Raghu Kacker, Yu Lei, D. Richard Kuhn, Michael Forbes: A Survey of Binary Covering Arrays. Electr. J. Comb. 18(1): (2011)
2010
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJiandun Li, Wu Zhang, Junjie Peng, Zhou Lei, Yu Lei: A Carbon 2.0 Framework Based on Cloud Computing. ACIS-ICIS 2010: 153-158
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYueting Zhu, Wu Zhang, Hai Jiang, Yu Lei, Junjie Peng: DCMTs: Supporting Dynamically Created Migratory Threads. CSE 2010: 96-101
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDazhi 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
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQi Zhenguo, Yu Lei: Enhancing the Educational Technology Capacity for University Teachers in China. ICEE 2010: 5439-5442
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard H. Carver, Yu Lei: Distributed reachability testing of concurrent programs. Concurrency and Computation: Practice and Experience 22(18): 2445-2466 (2010)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard H. Carver, Yu Lei: A class library for implementing, testing, and debugging concurrent programs. STTT 12(1): 69-88 (2010)
2009
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenhua 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunying Zhao, Kang Zhang, Yu Lei: Abstraction of multiple executions of object-oriented programs. SAC 2009: 549-550
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick Kuhn, Raghu Kacker, Yu Lei, Justin Hunter: Combinatorial Software Testing. IEEE Computer 42(8): 94-96 (2009)
2008
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenhua Wang, Sreedevi Sampath, Yu Lei, Raghu Kacker: An Interaction-Based Test Sequence Generation Approach for Testing Web Applications. HASE 2008: 209-218
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDazhi Zhang, Wenhua Wang, Donggang Liu, Yu Lei, David Chenho Kung: Reusing Existing Test Cases for Security Testing. ISSRE 2008: 323-324
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVangelis Metsis, Zhengyi Le, Yu Lei, Fillia Makedon: Towards an evaluation framework for assistive environments. PETRA 2008: 12
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRick Kuhn, Yu Lei, Raghu Kacker: Practical Combinatorial Testing: Beyond Pairwise. IT Professional 10(3): 19-23 (2008)
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. 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)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu 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)
2007
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Raghu Kacker, D. Richard Kuhn, Vadim Okun, James Lawrence: IPOG: A General Strategy for T-Way Software Testing. ECBS 2007: 549-556
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu 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)
2006
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Richard H. Carver, David Chenho Kung, Vidur Gupta, Monica Hernandez: A State Exploration-Based Approach to Testing Java Monitors. ISSRE 2006: 256-265
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLQizhi Ye, Yu Lei, David Chenho Kung: A Blocking-based Approach to Protocol Validation. Comput. J. 49(5): 541-553 (2006)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Richard H. Carver: Reachability Testing of Concurrent Programs. IEEE Trans. Software Eng. 32(6): 382-403 (2006)
2005
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, David Chenho Kung, Qizhi Ye: A Blocking-Based Approach to Protocol Validation. COMPSAC (1) 2005: 301-306
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, S. Purushothaman Iyer: An Approach to Unfolding Asynchronous Communication Protocols. FM 2005: 334-349
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, W. Eric Wong: A Novel Framework for Non-Deterministic Testing of Message-Passing Programs. HASE 2005: 66-75
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Eric Wong, Yu Lei, Xiao Ma: Effective Generation of Test Sequences for Structural Testing of Concurrent Programs. ICECCS 2005: 539-548
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Richard H. Carver: A New Algorithm for Reachability Testing of Concurrent Programs. ISSRE 2005: 346-355
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Munindar P. Singh: An Evaluation of E-Business Metamodels. SEKE 2005: 88-93
2004
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Deren Chen, Zhongding Jiang: Generating Digital Signatures on Mobile Devices. AINA (2) 2004: 532-535
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Richard H. Carver: Reachability Testing of Semaphore-Based Programs. COMPSAC 2004: 312-317
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Zhongding Jiang, Deren Chen, Hujun Bao: Image-Based Walkthrough over Internet on Mobile Devices. GCC Workshops 2004: 728-735
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Richard H. Carver: Reachability testing of monitor-based programs. IASTED Conf. on Software Engineering and Applications 2004: 312-317
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard H. Carver, Yu Lei: A General Model for Reachability Testing of Concurrent Programs. ICFEM 2004: 76-98
2002
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Kuo-Chung Tai: Efficient Reachability Testing of Asynchronous Message-Passing Programs. ICECCS 2002: 35-
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Kuo-Chung Tai: Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs. ISSRE 2002: 316-328
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKuo-Chung Tai, Yu Lei: A Test Generation Strategy for Pairwise Testing. IEEE Trans. Software Eng. 28(1): 109-111 (2002)
1998
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYu Lei, Kuo-Chung Tai: In-Parameter-Order: A Test Generation Strategy for Pairwise Testing. HASE 1998: 254-261

Coauthor Index

1Hujun Bao [7]
2Mehra N. Borazjany [42]
3Richard H. Carver [5] [6] [8] [11] [16] [18] [19] [30] [31]
4Deren Chen [7] [9]
5Christoph Csallner [33] [38] [39]
6Michael Forbes [36]
7Laleh Shikh Gholamhossein Ghandehari [43]
8Vidur Gupta [18]
9Monica Hernandez [18]
10James M. Higdon [41]
11Bolin Hu [37]
12Justin Hunter [27]
13S. Purushothaman Iyer (S. Purushothaman) [14]
14Hai Jiang [34]
15Zhongding Jiang [7] [9]
16Raghu Kacker [19] [20] [21] [23] [26] [27] [29] [36] [38] [40] [41] [42] [43]
17D. Richard Kuhn [20] [21] [36] [40] [41] [43]
18Rick Kuhn [23] [27] [29] [38] [42]
19David Chenho Kung (Chenho Kung) [15] [17] [18] [19] [25] [33] [38] [39]
20James Lawrence [20] [21] [29] [41]
21Jim Lawrence [36]
22Zhengyi Le [24]
23Zhou Lei [35] [37]
24Jiandun Li [35] [37]
25Nuo Li [40]
26Donggang Liu [25] [33] [38] [39]
27Xiao Ma [12]
28Fillia Makedon [24]
29Vangelis Metsis [24]
30Nathaniel Nystrom [39]
31Vadim Okun [20] [21]
32Junjie Peng [34] [35]
33Sreedevi Sampath [26] [29]
34Kiran Shakya [40]
35Munindar P. Singh [10]
36Kuo-Chung Tai [1] [2] [3] [4]
37Wenhua Wang [25] [26] [29] [33] [38] [39]
38W. Eric Wong [12] [13] [22]
39Tao Xie [40] [43]
40Dong Xu [37]
41Qizhi Ye [15] [17]
42Linbin Yu [42]
43Dazhi Zhang [25] [33] [38] [39]
44Kang Zhang [28]
45Wu Zhang [34] [35]
46Chunying Zhao [28]
47Qi Zhenguo [32]
48Yueting Zhu [34]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page