Thi Bich Ngoc Do
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2012–2022
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ICFEM | SMT-Based Model Checking of Industrial Simulink Models. | Daisuke Ishii, Takashi Tomita, Toshiaki Aoki, The Quyen Ngo, Thi Bich Ngoc Do, Hideaki Takai |
| 2022 | QRS | 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 |
| 2015 | QRS | 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 |
| 2012 | ICST | Formal Model-Based Test for AUTOSAR Multicore RTOS. | Ling Fang, Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki |
| 2012 | ISoLA | Test-Case Design by Feature Trees. | Takashi Kitamura, Thi Bich Ngoc Do, Hitoshi Ohsaki, Ling Fang, Shunsuke Yatabe |