Jinsong Zhu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1993–1999
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1999 | FORTE | Coverage analysis for embedded testing and an application. | Jinsong Zhu, Son T. Vuong |
| 1998 | FORTE | SDL specification and verification of universal personal computing: with Object GEODE. | Maria Tr, Jinsong Zhu, Victor C. M. Leung |
| 1997 | FORTE | Generalized Metric Based Test Selection and Coverage Measure for Communication Protocols. | Jinsong Zhu, Son T. Vuong |
| 1994 | INFOCOM | Automatic Protocol Test Suite Derivation. | Samuel T. Chanson, Jinsong Zhu |
| 1993 | INFOCOM | A Unified Approach to Protocol Test Sequence Generation. | Samuel T. Chanson, Jinsong Zhu |