Nguyên, Tô Hữu, Nguyễn Hồng Tân, Hà Thị Thanh, and Đỗ Thanh Mai. “SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING”. Dalat University Journal of Science 6, no. 2 (June 30, 2016). Accessed November 30, 2023. https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44.