Formal Model-Based Test for AUTOSAR Multicore RTOS. - Ling Fang; Takashi Kitamura 001; Thi Bich Ngoc Do; Hitoshi Ohsaki (ICST, 2012)

Test-Case Design by Feature Trees. - Takashi Kitamura 001; Thi Bich Ngoc Do; Hitoshi Ohsaki; Ling Fang; Shunsuke Yatabe (ISoLA (1), 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)

SMT-Based Model Checking of Industrial Simulink Models. - Daisuke Ishii; Takashi Tomita; Toshiaki Aoki; The Quyen Ngo; Thi Bich Ngoc Do; Hideaki Takai (ICFEM, 2022)

Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. - Daisuke Ishii; Takashi Tomita; Toshiaki Aoki; The Quyen Ngo; Thi Bich Ngoc Do; Hideaki Takai (QRS, 2022)