phân tích mã nguồn và đồ thị điều khiển

Luận văn thạc sĩ VNU UET trình bày phương pháp sinh dữ liệu kiểm thử tự động từ mã nguồn và ứng dụng trong hệ thống chấm bài lập trình.