T. H. Nguyên, N. H. Tân, H. T. Thanh, and Đỗ T. Mai, “SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING”, DLU JOS, vol. 6, no. 2, Jun. 2016, doi: 10.37569/DalatUniversity.6.2.44(2016).