The technical research track was ch

The technical research track was characterised by the presentation of 88 papers selected out of a total of over 400 submissions though a rigorous process. The ICSE 2012 program covered many hot areas of software engineering including fault handling, code generation, empirical studies, performance analysis, defect prediction, refactoring, human aspects, bug detection, multiversion software systems, program analysis for evolution, software and process models, concurrency, software architecture, formal verification, invariant generation, software vulnerability, code recommenders, test au- tomation, and validation of specification.

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

ติดตามงานวิจัยทางเทคนิคถูกรนีงานนำเสนอของเอกสาร 88 ที่เลือกจากทั้งหมดกว่า 400 ส่งแม้ว่ากระบวนการอย่างเข้มงวด โปรแกรม ICSE 2012 ครอบคลุมหลายพื้นที่ร้อนของวิศวกรรมซอฟต์แวร์รวมทั้งการจัดการข้อบกพร่อง รหัสรุ่น ผลการศึกษา วิเคราะห์ประสิทธิภาพ บกพร่องคาด เดา refactoring มนุษย์ด้าน ตรวจหาจุดบกพร่อง ระบบซอฟต์แวร์ multiversion โปรแกรมวิเคราะห์วิวัฒนาการ ซอฟต์แวร์และกระบวนการ เกิด สถาปัตยกรรมซอฟต์แวร์ verification ศึกษา สร้างบล็อก ช่องโหว่ซอฟต์แวร์ รหัส recommenders ทดสอบ au tomation และการตรวจสอบ specification

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

ติดตามการวิจัยทางเทคนิคก็มีลักษณะการนำเสนอของ 88 เอกสารที่เลือกออกจากทั้งหมดกว่า 400 ส่งแม้ว่ากระบวนการที่เข้มงวด โปรแกรม ICSE 2012 ครอบคลุมพื้นที่ร้อนมากของวิศวกรรมซอฟแวร์รวมทั้งการจัดการความผิดสร้างรหัสการศึกษาเชิงประจักษ์การวิเคราะห์ประสิทธิภาพการทำนายข้อบกพร่อง refactoring ด้านมนุษย์การตรวจสอบข้อผิดพลาด Multiversion ระบบซอฟต์แวร์การวิเคราะห์โปรแกรมสำหรับการวิวัฒนาการของซอฟแวร์และรูปแบบกระบวนการเห็นพ้องด้วย สถาปัตยกรรมซอฟต์แวร์ไอออนบวกสาย Veri อย่างเป็นทางการรุ่นที่คงที่ช่องโหว่ซอฟต์แวร์ Recommenders รหัสการทดสอบแบบอัตโนมัติ tomation และการตรวจสอบของไอออนบวกระบุไว้

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

การติดตามการวิจัยทางเทคนิคเป็นลักษณะการนำเสนอเอกสารที่ 88 จำนวนกว่า 400 ส่งแม้ว่ากระบวนการอย่างเข้มงวด ที่ 3 2012 โปรแกรมครอบคลุมพื้นที่ร้อนหลายของวิศวกรรมซอฟต์แวร์รวมทั้งการจัดการความผิด , รหัสรุ่น , การศึกษา , การวิเคราะห์ , การทำงานบกพร่อง การทำนาย วาริท , ลักษณะ , การตรวจสอบข้อผิดพลาดของมนุษย์เชิงประจักษ์ระบบซอฟต์แวร์มัลติเวอร์ชัน การวิเคราะห์โปรแกรมสำหรับการพัฒนาซอฟต์แวร์และกระบวนการแบบทุเรศทุรัง สถาปัตยกรรมซอฟต์แวร์ที่มีการถ่ายทอดทางช่องโหว่ซอฟต์แวร์แปลง , รุ่น , รหัส recommenders ทดสอบ AU - tomation และประเมินผลกาจึงไอออนบวก