Thi-Dao Vu

Publication Activity (10 Years)

Years Active: 2015-2017
Publications (10 Years): 2

Top Topics

Constraint Solver

Top Venues

ACIIDS (Extended Posters)

Publications

Ngoc-Thi Dinh, Hieu-Dinh Vo, Thi-Dao Vu, Viet-Ha Nguyen
Generation of Test Data Using Genetic Algorithm and Constraint Solver. ACIIDS (Extended Posters) (2017)
Thi-Dao Vu, Pham Ngoc Hung, Viet Ha Nguyen
A Method for Automated Test Cases Generation from UML Models with String Constraints. ACIIDS (Extended Posters) (2017)
Thi-Dao Vu, Pham Ngoc Hung, Viet-Ha Nguyen
A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language. SoICT (2015)