| 2009 |
|---|
| 26 | EE | Chunying Zhao,
Kang Zhang,
Yu Lei:
Abstraction of multiple executions of object-oriented programs.
SAC 2009: 549-550 |
| 2008 |
|---|
| 25 | EE | Wenhua Wang,
Sreedevi Sampath,
Yu Lei,
Raghu Kacker:
An Interaction-Based Test Sequence Generation Approach for Testing Web Applications.
HASE 2008: 209-218 |
| 24 | EE | Dazhi Zhang,
Wenhua Wang,
Donggang Liu,
Yu Lei,
David Kung:
Reusing Existing Test Cases for Security Testing.
ISSRE 2008: 323-324 |
| 23 | EE | Vangelis Metsis,
Zhengyi Le,
Yu Lei,
Fillia Makedon:
Towards an evaluation framework for assistive environments.
PETRA 2008: 12 |
| 22 | EE | 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) |
| 21 | EE | 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) |
| 2007 |
|---|
| 20 | EE | Yu Lei,
Raghu Kacker,
D. Richard Kuhn,
Vadim Okun,
James Lawrence:
IPOG: A General Strategy for T-Way Software Testing.
ECBS 2007: 549-556 |
| 19 | EE | 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) |
| 2006 |
|---|
| 18 | EE | 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 |
| 17 | EE | Qizhi Ye,
Yu Lei,
David Chenho Kung:
A Blocking-based Approach to Protocol Validation.
Comput. J. 49(5): 541-553 (2006) |
| 16 | EE | Yu Lei,
Richard H. Carver:
Reachability Testing of Concurrent Programs.
IEEE Trans. Software Eng. 32(6): 382-403 (2006) |
| 2005 |
|---|
| 15 | EE | Yu Lei,
David Chenho Kung,
Qizhi Ye:
A Blocking-Based Approach to Protocol Validation.
COMPSAC (1) 2005: 301-306 |
| 14 | EE | Yu Lei,
S. Purushothaman Iyer:
An Approach to Unfolding Asynchronous Communication Protocols.
FM 2005: 334-349 |
| 13 | EE | Yu Lei,
W. Eric Wong:
A Novel Framework for Non-Deterministic Testing of Message-Passing Programs.
HASE 2005: 66-75 |
| 12 | EE | W. Eric Wong,
Yu Lei,
Xiao Ma:
Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.
ICECCS 2005: 539-548 |
| 11 | EE | Yu Lei,
Richard H. Carver:
A New Algorithm for Reachability Testing of Concurrent Programs.
ISSRE 2005: 346-355 |
| 10 | | Yu Lei,
Munindar P. Singh:
An Evaluation of E-Business Metamodels.
SEKE 2005: 88-93 |
| 2004 |
|---|
| 9 | EE | Yu Lei,
Deren Chen,
Zhongding Jiang:
Generating Digital Signatures on Mobile Devices.
AINA (2) 2004: 532-535 |
| 8 | EE | Yu Lei,
Richard H. Carver:
Reachability Testing of Semaphore-Based Programs.
COMPSAC 2004: 312-317 |
| 7 | EE | Yu Lei,
Zhongding Jiang,
Deren Chen,
Hujun Bao:
Image-Based Walkthrough over Internet on Mobile Devices.
GCC Workshops 2004: 728-735 |
| 6 | | Yu Lei,
Richard H. Carver:
Reachability testing of monitor-based programs.
IASTED Conf. on Software Engineering and Applications 2004: 312-317 |
| 5 | EE | Richard H. Carver,
Yu Lei:
A General Model for Reachability Testing of Concurrent Programs.
ICFEM 2004: 76-98 |
| 2002 |
|---|
| 4 | EE | Yu Lei,
Kuo-Chung Tai:
Efficient Reachability Testing of Asynchronous Message-Passing Programs.
ICECCS 2002: 35- |
| 3 | EE | Yu Lei,
Kuo-Chung Tai:
Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.
ISSRE 2002: 316-328 |
| 2 | EE | Kuo-Chung Tai,
Yu Lei:
A Test Generation Strategy for Pairwise Testing.
IEEE Trans. Software Eng. 28(1): 109-111 (2002) |
| 1998 |
|---|
| 1 | EE | Yu Lei,
Kuo-Chung Tai:
In-Parameter-Order: A Test Generation Strategy for Pairwise Testing.
HASE 1998: 254-261 |
