One reason for the study of programs in the presence of faults, i.e. defects at the lowest level of abstractions [2], is to be able to construct more dependable systems, meaning systems exhibiting a high probability of ...