 | 2003 |
|---|
| 11 |       | Maria Törö,
Thong Tri Huynh,
Jinsong Zhu,
Kangming Liu,
Victor C. M. Leung:
CORBA Based Design and Implementation of Universal Personal Computing.
MONET 8(1): 75-86 (2003) |
| 2000 |
|---|
| 10 |  | Maria Törö,
Jinsong Zhu,
Victor C. M. Leung:
Design of universal personal computing using SDL.
Computer Communications 23(12): 1124-1134 (2000) |
| 1999 |
|---|
| 9 | | Jinsong Zhu,
Son T. Vuong:
Coverage analysis for embedded testing and an application.
FORTE 1999: 377-386 |
| 1998 |
|---|
| 8 | | Maria Törö,
Jinsong Zhu,
Victor C. M. Leung:
SDL specification and verification of universal personal computing: with Object GEODE.
FORTE 1998: 267-282 |
| 7 | | Jinsong Zhu,
Son T. Vuong,
Samuel T. Chanson:
Evaluation of Test Coverage for Embedded System Testing.
IWTCS 1998: 111-126 |
| 6 | | Jinsong Zhu,
Maria Törö,
Victor C. M. Leung,
Son T. Vuong:
Supporting universal personal computing on the Internet with Java and CORBA.
Concurrency - Practice and Experience 10(11-13): 1007-1013 (1998) |
| 1997 |
|---|
| 5 | | Jinsong Zhu,
Son T. Vuong:
Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols.
FORTE 1997: 299-314 |
| 1994 |
|---|
| 4 | | Samuel T. Chanson,
Jinsong Zhu:
Automatic Protocol Test Suite Derivation.
INFOCOM 1994: 792-799 |
| 3 | | Jinsong Zhu,
Samuel T. Chanson:
Towards evaluating fault coverage of protocol test sequences.
PSTV 1994: 137-151 |
| 1993 |
|---|
| 2 | | Samuel T. Chanson,
Jinsong Zhu:
A Unified Approach to Protocol Test Sequence Generation.
INFOCOM 1993: 106-114 |
| 1 | | Samuel T. Chanson,
Hendra Dany,
Myungchul Kim,
Qin Li,
Ying Lu,
Son T. Vuong,
Sijian Zhang,
Limin Zhou,
Jinsong Zhu:
The UBC Protocol Testing Environment.
Protocol Test Systems 1993: 215-230 |
