%A Ngoc Thi Dinh %A Dinh Hieu Vo %A Thi Dao Vu %A Viet Ha Nguyen %T Generation of Test Data Using Genetic Algorithm and Constraint Solver %C Cham %D 2017 %I Springer International Publishing %P 499-513 %L SisLab2501