Nguyên, T.H. et al. 2016. SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING. Dalat University Journal of Science. 6, 2 (Jun. 2016). DOI:https://doi.org/10.37569/DalatUniversity.6.2.44(2016).