Testing restorable systems: formal definition and heuristic solution based on river formation dynamics

DOI10.1007/S00165-011-0206-3MaRDI QIDQ470035zbMATH OpenOpenAlexWikidataFDO

Authors Pablo Rabanal, Ismael Rodríguez, Fernando Rubio

Publication date 11 November 2014

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-011-0206-3

zbMATH Keywords

testingevolutionary computationminimum load sequenceriver formation dynamicsweighted finite state machines

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Approximation methods and heuristics in mathematical programming (90C59) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A Formal Approach to Heuristically Test Restorable Systems
• The complexity of coverage
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Testing hierarchical systems
• scientific article; zbMATH DE number 2040799

Cites work

• scientific article; zbMATH DE number 3177183 (Why is no real title available?)
• scientific article; zbMATH DE number 3497315 (Why is no real title available?)
• scientific article; zbMATH DE number 2040797 (Why is no real title available?)
• scientific article; zbMATH DE number 2080054 (Why is no real title available?)
• scientific article; zbMATH DE number 1746648 (Why is no real title available?)
• scientific article; zbMATH DE number 1746452 (Why is no real title available?)
• scientific article; zbMATH DE number 1746453 (Why is no real title available?)
• A Formal Approach to Heuristically Test Restorable Systems
• A General Testability Theory
• A Method for the Design of Fault Detection Experiments
• Ant colony optimization.
• Automated Technology for Verification and Analysis
• Branch-and-Bound Methods: A Survey
• Crossover can be constructive when computing unique input-output sequences
• Equation of state calculations by fast computing machines
• Evolutionary computation: a unified approach.
• Graph Algorithms for Conformance Testing Using the Rural Chinese Postman Tour
• Machine Learning Applications in Software Engineering
• Testing Software Design Modeled by Finite-State Machines
• Testing can be formal, too
• Testing finite-state machines: state identification and verification
• Using River Formation Dynamics to Design Heuristic Algorithms
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic

Cited in

(4)

• The incremental maintenance of transition tour
• The relation between preset distinguishing sequences and synchronizing sequences
• Applying RFD to construct optimal quality-investment trees
• A Formal Approach to Heuristically Test Restorable Systems

This page was built for publication: Testing restorable systems: formal definition and heuristic solution based on river formation dynamics

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