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

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