Squeeziness: an information theoretic measure for avoiding fault masking

DOI10.1016/J.IPL.2012.01.004zbMath1243.68149OpenAlexW2113307818MaRDI QIDQ436319

Robert M. Hierons, David Clark

Publication date: 20 July 2012

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: http://bura.brunel.ac.uk/handle/2438/6689

zbMATH Keywords

formal methodssoftware testingsoftware engineeringfault masking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

A program slicing-based method for effective detection of coincidentally correct test cases ⋮ Thermodynamic aspects of confidentiality ⋮ Normalised squeeziness and failed error propagation

Cites Work

• Unnamed Item
• A Mathematical Theory of Communication
• Anonymity protocols as noisy channels
• A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis
• Statistical Measurement of Information Leakage
• Quantification of integrity

This page was built for publication: Squeeziness: an information theoretic measure for avoiding fault masking