Accepted Papers - IDEAR

Session 1: Fundamentals (Tue. Oct 29, 13:30-15:30)

Prologue – Automated and Algorithmic Debugging and Program Repair. 
Franz Wotawa

Extending Automated FLTL Test Oracles with Diagnostic Support. 
Ingo Pill, Franz Wotawa

An Analysis of Factors Affecting Software Safety in the Aerospace Industry. 
Wenlu Li, Qiuying Li

 

Session 2: Experiences and Visions (Tue. Oct 29, 16:00-18:00)

Automated Diagnosis of Memory and Resource Leaks: Research vs. Reality. 
Artur Andrzejak

Automated Repair of Cross-Site Scripting Vulnerabilities through Unit Testing. 
Mahmoud Mohammadi, Bill Chu, Heather Richter Lipford

Epilogue – Glorious De-bugger vs. Inglorious Be-bugger, Humorous Reflections on a Syntax-Oriented Terminology of Fault Detection, Localization, and (Self-)Correction. 
Fevzi Belli