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 Xu
woda2015144587160000016:00 - 16:15
Talk
woda2015144587250000016:15 - 16:30
Talk
woda2015144587340000016:30 - 16:45
Talk
woda2015144587430000016:45 - 17:00
Talk