IWPD 2015

6th IEEE International Workshop on Program Debugging (IWPD) - Monday, November 2nd, room: Lecture B.

Program
 

Session #1: 9:15-10:30
 

Chair: Rui Abreu

Welcome and Opening, Eric Wong (Steering Committee Chair)

Practical Null Pointer Dereference Detection via Value-Dependence Analysis, by Sen Ma​

RC-Tree: A Variant Avoiding all the Redundancy in Reiter's Minimal Hitting Set Algorithm, by Ingo Pill and Thomas Quaritsch

Coffee break 10:30 - 11:00
 

Session #2: 11:00-12:30
 

Panel: "Challenges in Teaching Program Debugging"

Moderator: Eric Wong

Panelists: Ram Chillarege and Atif Memon

Lunch break 12:30 - 14:00
 

Session #3: 14:00 - 15:30
 

Chair: Birgit Hofer

Disqover: Debugging via Code Sequence Covers, by Ethar Elsaka and Atif Memon

Applying Spectrum-based Fault Localization to Generate Debugging Suggestions for Student Programmers, by Bob Edmison, and Stephen H. Edwards

Parse Tree Structure in LTL Requirements Diagnosis, by Ingo Pill, Thomas Quaritsch, and Franz Wotawa

Coffee break 15:30 - 16:00
 

Session #4: 16:00 - 17:30
 

Chair: Rui Abreu

Scrutinizing Faulty User Input In Case of Automated Debugging by Franz Wotawa (Invited Talk)