Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++. - Nguyen Van Tang; Daisuke Souma; Goro Hatayama; Hitoshi Ohsaki (VSTTE, 2012)

Constructing test cases for n-wise testing from tree-based test models. - Thi Bich Ngoc Do; Takashi Kitamura 001; Nguyen Van Tang; Goro Hatayama; Shinya Sakuragi; Hitoshi Ohsaki (SoICT, 2013)

Combinatorial Testing for Tree-Structured Test Models with Constraints. - Takashi Kitamura 001; Akihisa Yamada 002; Goro Hatayama; Cyrille Artho; Eun-Hye Choi; Thi Bich Ngoc Do; Yutaka Oiwa; Shinya Sakuragi (QRS, 2015)

Classification Tree Method with Parameter Shielding. - Takashi Kitamura 001; Akihisa Yamada 002; Goro Hatayama; Shinya Sakuragi; Eun-Hye Choi; Cyrille Artho (SAFECOMP, 2017)