Nguyên TH, Tân NH, Thanh HT, Mai Đỗ T. SYMBOLIC EXECUTION IN AUTOMATICALLY GENERATIONOF DATA OF SOFTWARE TESTING. DLU JOS [Internet]. 2016 Jun. 30 [cited 2024 Sep. 14];6(2). Available from: https://tckh.dlu.edu.vn/index.php/tckhdhdl/article/view/44