Geist also proved that [3], if a so

Geist also proved that [3], if a software system has an
error, then there must be a group of corresponding mutants, and the mutants can be killed by a certain test
case set.

ผลลัพธ์ (ไทย) 1:

Geist ยังพิสูจน์ที่ [3], ถ้ามีระบบซอฟต์แวร์ข้อผิดพลาด แล้ว ต้องมีกลุ่มของสายพันธุ์ที่เกี่ยวข้อง และสายพันธุ์ที่สามารถฆ่า โดยการทดสอบกรณีได้

ผลลัพธ์ (ไทย) 2:

จิตยังพิสูจน์ให้เห็นว่า [3] ถ้าระบบซอฟแวร์ที่มี
ข้อผิดพลาดแล้วจะต้องมีกลุ่มของการกลายพันธุ์ที่สอดคล้องและการกลายพันธุ์จะถูกฆ่าตายโดยการทดสอบบาง
กรณีชุด

ผลลัพธ์ (ไทย) 3:

ไก ก็พิสูจน์ให้เห็นแล้วว่า [ 3 ] ถ้าระบบซอฟต์แวร์มี
ข้อผิดพลาด ก็ต้องมีกลุ่มของสายพันธุ์และสายพันธุ์ที่สามารถฆ่าโดยทดสอบ
กรณีบางชุด