| 2007 |
|---|
| 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 |
