Kotaro Katsuyama (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

2 Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno: OSI Testing Environment Based on the Standardized Formalisms. FORTE 1990: 287-294

1 Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno: TENT: Test Sequence Generation Tool for Communication Systems. FORTE 1989: 1-5

Selection of 4 from 4 records - Kotaro Katsuyama has 5 coauthors

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)
2		Kotaro Katsuyama, Fumiaki Sato, Tetsuo Nakakawaji, Tadanori Mizuno: OSI Testing Environment Based on the Standardized Formalisms. FORTE 1990: 287-294
1		Fumiaki Sato, Kotaro Katsuyama, Tadanori Mizuno: TENT: Test Sequence Generation Tool for Communication Systems. FORTE 1989: 1-5