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

FOREST: a systematic testing environment based on standardized formal description techniques. - Kotaro Katsuyama; Tetsuo Nakakawaji; Fumiaki Sato; Tadanori Mizuno (COMPSAC, 1990)

OSI Testing Environment Based on the Standardized Formalisms. - Kotaro Katsuyama; Fumiaki Sato; Tetsuo Nakakawaji; Tadanori Mizuno (FORTE, 1990)

Parameter Specification Language and Test Data Generation Tools for Communication Software Testing. - Fumiako Sato; Hirosato Tsuji; Kotaro Katsuyama; Tadanori Mizuno (Protocol Test Systems, 1991)

Strategic Testing Environment with Formal Description Techniques. - Kotaro Katsuyama; Fumiaki Sato; Tetsuo Nakakawaji; Tadanori Mizuno (IEEE Trans. Computers, 1991)

Proposal and evaluation of time critical communication protocol with two-level data queues. - Kazuhiro Kusunoki; Tetsuo Nakakawaji; Kotaro Katsuyama; Nobumasa Nakano (Syst. Comput. Jpn., 1996)