Our verification techniques turned

Our verification techniques turned out to be effective in
practice. In Table 2 we report the number of bugs we found
using our approach. For each class of bugs we were able
to re-discover bugs already reported (the Old columns) as
well as new bugs that have not been reported yet (the New
columns). For assurance, we took each event sequence our
approach has found automatically and played it manually,
through GUI interaction, to make sure the bug can actually
be reproduced in practice. We have reported the new bugs to
the developers; two of the bugs have been confirmed, while
others are in the process of confirmation.

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

เทคนิคการตรวจสอบของเราเปิดออกมาจะมีประสิทธิภาพใน
การปฏิบัติ ในตารางที่ 2 เรารายงานจำนวนของข้อบกพร่องที่เราพบว่า
การใช้วิธีการของเรา สำหรับการเรียนของข้อบกพร่องที่เรามีความสามารถ
ที่จะกลับมาค้นพบบั๊กที่รายงานแล้ว (คอลัมน์เก่า) ในฐานะ
เดียวกับข้อบกพร่องใหม่ที่ยังไม่ได้รับรายงานยัง (ใหม่
คอลัมน์) สำหรับความเชื่อมั่นเราเอาแต่ละลำดับเหตุการณ์ของเรา
ได้พบวิธีการโดยอัตโนมัติและเล่นด้วยตนเอง
ผ่านการมีปฏิสัมพันธ์ GUI เพื่อให้แน่ใจว่าข้อผิดพลาดจริงสามารถ
ทำซ้ำในทางปฏิบัติ เราได้มีการรายงานข้อบกพร่องใหม่ในการ
พัฒนา; สองข้อบกพร่องได้รับการยืนยันในขณะที่
คนอื่น ๆ ที่อยู่ในขั้นตอนการยืนยัน

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

เทคนิคการตรวจสอบของเรากลายเป็นที่มีประสิทธิภาพใน
ซ้อม ตารางที่ 2 เรารายงานจำนวนของข้อบกพร่องที่เราพบ
ใช้วิธีการของเรา สำหรับแต่ละชั้นของข้อบกพร่อง เราก็สามารถที่จะค้นพบข้อผิดพลาดรายงานอีกครั้ง

( คอลัมน์เก่า ) รวมทั้งข้อบกพร่องใหม่ที่ยังไม่ได้รับรายงาน แต่ ( คอลัมน์ใหม่
) ประกัน เราใช้เวลาแต่ละเหตุการณ์ลำดับของเรา
วิธีการที่พบโดยอัตโนมัติและเล่นมันด้วยตนเอง
ผ่านปฏิสัมพันธ์ GUI เพื่อให้แน่ใจว่าข้อผิดพลาดสามารถจริง
จะทำซ้ำในการปฏิบัติ เราได้มีการรายงานข้อบกพร่องใหม่

นักพัฒนา ; สองของข้อบกพร่องที่ได้รับการยืนยันในขณะที่
คนอื่นอยู่ในกระบวนการของการยืนยัน