Thi Bich Ngoc Do

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 3

Top Topics

Temporal Properties

Top Venues

Publications

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
SMT-Based Model Checking of Industrial Simulink Models. ICFEM (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods. QRS (2022)
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai
SMT-Based Model Checking of Industrial Simulink Models. CoRR (2022)
Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi
Combinatorial Testing for Tree-Structured Test Models with Constraints. QRS (2015)
Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi, Hitoshi Ohsaki
Constructing test cases for n-wise testing from tree-based test models. SoICT (2013)
Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki
Formal Model-Based Test for AUTOSAR Multicore RTOS. ICST (2012)
Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe
Test-Case Design by Feature Trees. ISoLA (1) (2012)