Using Squeeziness to test from Finite State Machines

Squeeziness is an information theoretic measure designed to quantify the likelihood of a form of fault masking called failed error propagation. It has been shown that Squeeziness correlates strongly with failed error propagation in white-box scenarios. In this thesis, we adapt Squeeziness to a black-box scenario and show how it can be used to estimate the likelihood of failed error propagation.