Get started
Author

Thi Bich Ngoc Do

Formal Model-Based Test for AUTOSAR Multicore RTOS
2012 · Ling Fang, Takashi Kitamura, et al. · IEEE International Conference on Software Testing, Verification and Validation (ICST) · 24
Correlations and Path Coefficients for Yield Related Traits in Soybean Progenies
2019 · Thi Thuy Hang Vu, Thi Tuyet Cham Le, et al. · Asian Journal of Crop Science · 18
PDF
Constructing test cases for n-wise testing from tree-based test models
2013 · Thi Bich Ngoc Do, Takashi Kitamura, et al. · International Symposium on Information and Communication Technology · 10
Instrument-free, visual and direct detection of porcine reproductive and respiratory syndrome viruses in resource-limited settings
2023 · Diem Hong Tran, Ngan Anh Ngoc, et al. · Acta Virologica · 8
PDF
Combining Testing and Static Analysis to Overflow and Roundoff Error Detection
2010 · Thi Bich Ngoc, Mizuhito Ogawa · Kagoshima Kenritsu Tanki Daigaku Chiiki Kenkyūjo kenkyū nenpō · 5
SMT-Based Model Checking of Industrial Simulink Models
2022 · Daisuke Ishii, Takashi Tomita, et al. · Lecture notes in computer science · 4
PDF
A Review of the Computer-Assisted Language Learning (CALL) on Teaching and Learning Writing
2022 · Van Du Lai, Thi Ngoc Mai Do, et al. · ICTE Conference Proceedings · 2
Generate High-Coverage Unit Test Data Using the LLM Tool
2025 · Quynh Chi Nguyen, Thi Bich Ngoc Do · SSRN Electronic Journal · 1
Điều trị nội tiết tố và phẫu thuật chuyển đổi giới tính của người chuyển giới tại Việt Nam
2020 · Hà Phạm Nguyên, Luyện Nguyễn Văn, et al. · Journal of Health and Development Studies · 1
An Economic Efficiency Analysis of Aquaculture Farms in Bai Tu Long Bay in a 20 - Year Cylcle
2025 · Viet Pham Thanh, Vu Viet Du Quan, et al. · Tạp chí Khoa học và Công nghệ nhiệt đới
PDF
Green smart supply chain management impacts green performance in the context of digital transformation in Vietnamese manufacturing enterprises
2025 · P.T.M. Hang, N.T.K. Tin, et al. · CRC Press eBooks
Coverage Testing of Industrial Simulink Models using Monte-Carlo and SMT-Based Methods
2022 · Daisuke Ishii, Takashi Tomita, et al. · IEEE International Conference on Software Quality, Reliability and Security (QRS)
Works count: 12
Citation count: 73
H-index: 5
I10-index: 3
Year
Topic
Type