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

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