A test sequence generation method for communication protocols using the SAT algorithm. - Takanori Mori; Hirotaka Otsuka; Nobuo Funabiki; Akio Nakata; Teruo Higashino (Syst. Comput. Jpn., 2003)