T. Mori

A Proposal of Test Sequence Generation Method for Communication Protocols Using SAT Algorithm

Teruo Higashino, Takanori Mori, Nobuo Funabiki, 2002 .

Design and Implementation of FPGA Circuits for High Speed Network Monitors

Teruo Higashino, Keiichi Yasumoto, Yoshifumi Takamoto, 2002, FPL.

Faster processing of GUI display using genetic algorithm

Takanori Mori, Tomohiro Hase, Takako Nonaka, 2011, 2011 IEEE International Conference on Consumer Electronics -Berlin (ICCE-Berlin).

A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing

Teruo Higashino, Takanori Mori, Akio Nakata, 2004, Stud. Inform. Univ..

A Method to Generate Conformance Test Sequences for FSM with Timer System Call

Teruo Higashino, Takanori Mori, Masahiro Higuchi, 2001, FORTE.