Testing hierarchical systems

MaRDI QIDQ2921785zbMATH OpenFDO

Authors Damon Mosk-Aoyama, Mihalis Yannakakis

Publication date 13 October 2014

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Analysis of algorithms and problem complexity (68Q25) Approximation algorithms (68W25)

Recommendations

• Hierarchical Model for Testing a Distributed Computer System
• Hierarchical testing designs for pattern recognition
• Model-checking hierarchical structures
• Dependability evaluation of hierarchical systems
• Hierarchy theorems for property testing
• Hierarchy theorems for property testing
• Hierarchy Theorems for Property Testing

Cited in

(6)

• Connectivity testing
• A General Testability Theory
• A Formal Methodology to Test Complex Heterogeneous Systems
• A complete testing strategy based on interacting and hierarchical FSMs
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• scientific article; zbMATH DE number 1418453 (Why is no real title available?)

This page was built for publication: Testing hierarchical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2921785)