While this is the mechanics of crea

While this is the mechanics of creating a contest, finding
appropriate puzzles is not easy. Moreover, it is also necessary
to make calls on the Pex framework to constrain the trial cases
and to add statements which have the effect of suggesting some
test cases to Pex. Such test cases will appear in the table of unit
test results. The details of this are beyond this paper, but can be
found in [13].

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

ขณะนี้เป็นกลไกในการสร้างการแข่งขัน การค้นหาปริศนาที่เหมาะสมไม่ใช่เรื่องง่าย นอกจากนี้ ยังจำเป็นการโทรบน framework Pex เพื่อจำกัดกรณีทดลองและเพิ่มซึ่งมีผลของการแนะนำบางกรณีทดสอบการ Pex กรณีทดสอบดังกล่าวจะปรากฏในตารางของหน่วยผลทดสอบ รายละเอียดนี้นอกเหนือจากนี้ แต่สามารถพบใน [13]

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

ขณะนี้เป็นกลไกของการสร้างการประกวดการหา
ปริศนาที่เหมาะสมไม่ใช่เรื่องง่าย นอกจากนี้ยังเป็นสิ่งที่จำเป็น
ในการโทรในกรอบ Pex เพื่อ จำกัด กรณีการพิจารณาคดี
และการเพิ่มงบที่มีผลต่อการแนะนำบาง
กรณีการทดสอบเพื่อ Pex กรณีทดสอบดังกล่าวจะปรากฏในตารางของหน่วย
ผลการทดสอบ รายละเอียดของเรื่องนี้อยู่นอกเหนือกระดาษนี้ แต่สามารถ
พบได้ใน [13]