Mon 26 Oct 2015 16:00 - 16:15 at Haselton 1 - Extended Abstracts Chair(s): Harry Xu

A simple bug in a program can influence a large part of the program execution by spreading throughout the state at runtime. This is known as program infection. The seriousness of bugs is usually measured by studying their external effects. However, such effects essentially derive from internal factors of a program. Our idea is to focus on internal factors, in particular the infection chain, to measure how serious a bug was. This allows reasoning about bugs from a new and potentially insightful perspective.

Mon 26 Oct
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

16:00 - 17:00: WODA - Extended Abstracts at Haselton 1
Chair(s): Harry XuUniversity of California, Irvine
woda201516:00 - 16:15
Mohammad Reza AzadmaneshUniversity of Lugano, Matthias HauswirthUniversity of Lugano, Switzerland
woda201516:15 - 16:30
Mattias De WaelVrije Universiteit Brussel
woda201516:30 - 16:45
Luís PinaImperial College London, UK, Cristian CadarImperial College London
woda201516:45 - 17:00
Mark HillsEast Carolina University