Squeeziness: an information theoretic measure for avoiding fault masking
type: Item
instance of: scholarly article
title: Squeeziness: an information theoretic measure for avoiding fault masking
zbMATH Open document ID: 1243.68149
author: David Clark
author: Robert M. Hierons
published in: Information Processing Letters
publication date: 2012-07-20T00:00:00Z
full work available at URL: http://bura.brunel.ac.uk/handle/2438/6689
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 6059107
zbMATH Keywords: software engineering
zbMATH Keywords: formal methods
zbMATH Keywords: software testing
zbMATH Keywords: fault masking
MaRDI profile type: Publication
OpenAlex ID: W2113307818
cites work: A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
cites work: Statistical Measurement of Information Leakage
cites work: Anonymity protocols as noisy channels
cites work: Quantification of integrity
cites work: Q4023085
cites work: A Mathematical Theory of Communication
DOI: 10.1016/J.IPL.2012.01.004
Recommended article: Normalised squeeziness and failed error propagation
Recommended article: Measuring masking fault-tolerance
Recommended article: Fault masking probabilities with single and multiple signature analysis
Recommended article: A flexible formal framework for masking/demasking faults
Recommended article: Small faults grow up -- verification of error masking robustness in arithmetically encoded programs
Recommended article: Q5468748
Recommended article: A Debugging Model with Independent Flaws and Random Masking
description: scientific article; zbMATH DE number 6059107