สิ่งประดิษฐ์เรานำเสนอเทคนิคใหม่สำหรับการทดสอบการถดถอย ขั้นตอนวิธีของเราสร้างกราฟการไหลของการควบคุมสำหรับ precedure หรือโปรแกรมและรุ่นที่แก้ไขและใช้กราฟเหล่านี้เพื่อเลือกการทดสอบที่ดำเนินการเปลี่ยนรหัสจากชุดทดสอบเดิม เราพิสูจน์ว่า ภายใต้เงื่อนไขบางอย่าง
การแปล กรุณารอสักครู่..
