Nguyên, T. H., Tân, N. H., Thanh, H. T., & Mai, Đỗ T. (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)