Minh-Hue Chu, Trinh Thi Nhi, Do Thi Thu Trang, Ngo Thanh Huyen, and Tran Do Thu Ha. “AUTOMATIC TEST-CASE GENERATION FOR SYSTEM TESTING”. UTEHY Journal of Science and Technology, Vol. 27, Oct. 2020, pp. 61-67, http://tapchi.utehy.edu.vn/index.php/jst/article/view/390.