Nguyên, Tô Hữu, et al. “SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING”. Dalat University Journal of Science, vol. 6, no. 2, June 2016, https://doi.org/10.37569/DalatUniversity.6.2.44(2016).