thực thi tượng trưng

Luận án một số cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động cho thực thi tượng trưng

Luận án trình bày các cải tiến về ràng buộc xâu trong sinh dữ liệu kiểm thử tự động, nâng cao hiệu quả thực thi tượng trưng.