RT Generic T1 Using Squeeziness to test from Finite State Machines A1 Ibias Martínez, Alfredo AB 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. AB Squeeziness es una medida de Teoría de la Información diseñada para cuantificar la probabilidad de una forma de enmascaramiento de errores llamada fallo en la propagación de errores. Se ha demostrado que Squeezinees correlaciona fuertemente con el fallo en la propagación de errores en escenarios de caja blanca. En este TFG, adaptamos Squeeziness a un escenario de caja negra y mostramos como puede usarse para estimar la probabilidad de un fallo en la propagación de errores. YR 2018 FD 2018 LK https://hdl.handle.net/20.500.14352/20612 UL https://hdl.handle.net/20.500.14352/20612 LA eng NO Universidad Complutense, Facultad de Informática, curso 2017/2018 DS Docta Complutense RD 26 ene 2026