Nguyên, Tô Hữu, Nguyễn Hồng Tân, Hà Thị Thanh, and Đỗ Thanh Mai. 2016. “SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING”. Dalat University Journal of Science 6 (2). https://doi.org/10.37569/DalatUniversity.6.2.44(2016).