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