NGUYÊN, Tô Hữu; TÂN, Nguyễn Hồng; THANH, Hà Thị; MAI, Đỗ Thanh. SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING. Dalat University Journal of Science, Dalat, Vietnam, v. 6, n. 2, 2016. DOI: 10.37569/DalatUniversity.6.2.44(2016). Disponível em: https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44.. Acesso em: 11 sep. 2024.