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)