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 ] ,
ถ้าระบบซอฟต์แวร์ที่มีข้อผิดพลาด
แล้วต้องมีกลุ่มมนุษย์กลายพันธุ์ที่สอดคล้องกันและสามารถฆ่าสายพันธุ์

โดยทดสอบ
กรณีบางชุด