Nguyên, T. H.; Tân, N. H.; Thanh, H. T.; Mai, Đỗ T. SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING. DLU JOS 2016, 6 (2). https://doi.org/10.37569/DalatUniversity.6.2.44(2016).