Thi Bich Ngoc Do

According to our database, Thi Bich Ngoc Do authored at least 6 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

SMT-Based Model Checking of Industrial Simulink Models.

Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai

Proceedings of the Formal Methods and Software Engineering, 2022

2015

Combinatorial Testing for Tree-Structured Test Models with Constraints.

Takashi Kitamura, Akihisa Yamada, Goro Hatayama, Cyrille Artho, Eun-Hye Choi, Thi Bich Ngoc Do, Yutaka Oiwa, Shinya Sakuragi

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

2013

Constructing test cases for n-wise testing from tree-based test models.

Thi Bich Ngoc Do, Takashi Kitamura, Nguyen Van Tang, Goro Hatayama, Shinya Sakuragi, Hitoshi Ohsaki

Proceedings of the 4th International Symposium on Information and Communication Technology, 2013

2012

Test-Case Design by Feature Trees.

Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Formal Model-Based Test for AUTOSAR Multicore RTOS.

Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012