Formal Specification Based Automatic Test Generation for Embedded Network Systems. - Eun-Hye Choi; Hideaki Nishihara; Takahiro Ando; Nguyen Van Tang; Masahiro Aoki; Keiichi Yoshisaka; Osamu Mizuno; Hitoshi Ohsaki (J. Appl. Math., 2014)