| 1991 |
|---|
| 4 | | Fumiako Sato,
Hirosato Tsuji,
Kotaro Katsuyama,
Tadanori Mizuno:
Parameter Specification Language and Test Data Generation Tools for Communication Software Testing.
Protocol Test Systems 1991: 207-218 |
| 3 | | Kotaro Katsuyama,
Fumiaki Sato,
Tetsuo Nakakawaji,
Tadanori Mizuno:
Strategic Testing Environment with Formal Description Techniques.
IEEE Trans. Computers 40(4): 514-525 (1991) |
| 1990 |
|---|
| 2 | | Kotaro Katsuyama,
Fumiaki Sato,
Tetsuo Nakakawaji,
Tadanori Mizuno:
OSI Testing Environment Based on the Standardized Formalisms.
FORTE 1990: 287-294 |
| 1989 |
|---|
| 1 | | Fumiaki Sato,
Kotaro Katsuyama,
Tadanori Mizuno:
TENT: Test Sequence Generation Tool for Communication Systems.
FORTE 1989: 1-5 |
