Thực thi tượng trưng trong sinh tự động dữ liệu kiểm thử phần mềm

Bài viết Thực thi tượng trưng trong sinh tự động dữ liệu kiểm thử phần mềm trình bày các vấn đề tổng quan và một số kết quả của các nghiên cứu gần đây về kỹ thuật thực thi tượng trưng. Bài viết cũng đưa ra những thách thức cần giải quyết trong lĩnh vực này như: Sự bùng nổ đường thực thi của chương trình, khả năng giải các ràng buộc, mô hình hóa bộ nhớ, các vấn đề về tương tranh.

Từ khóa: Sinh tự động dữ liệu, Kiểm thử phần mềm, Dữ liệu kiểm thử phần mềm, Thực thi tượng trưng, Kỹ thuật Thực thi tượng trưng, Sự bùng nổ đường thực thi