We apply the algorithm on traces to

We apply the algorithm on traces to find candidate temporal invariants, which could later be used to detect bugs.

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

เราใช้อัลกอริทึมการร่องรอยในการค้นหาผู้สมัคร invariants ขมับ ซึ่งสามารถใช้ตรวจหาข้อบกพร่องในภายหลัง

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

เราใช้ขั้นตอนวิธีการในการที่จะหาร่องรอยของผู้สมัคร invariants ชั่วคราวซึ่งสามารถต่อมาถูกนำมาใช้ในการตรวจสอบข้อบกพร่อง

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

เราใช้ขั้นตอนวิธีการในร่องรอยหาผู้สมัครชั่วคราวผลยืนยง ซึ่งต่อมาถูกใช้เพื่อตรวจหาข้อผิดพลาด