A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language. - Thi-Dao Vu; Pham Ngoc Hung; Viet-Ha Nguyen 001 (SoICT, 2015)

Generation of Test Data Using Genetic Algorithm and Constraint Solver. - Ngoc-Thi Dinh; Hieu-Dinh Vo; Thi-Dao Vu; Viet-Ha Nguyen 001 (ACIIDS (Extended Posters), 2017)

A Method for Automated Test Cases Generation from UML Models with String Constraints. - Thi-Dao Vu; Pham Ngoc Hung; Viet Ha Nguyen 001 (ACIIDS (Extended Posters), 2017)