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

DOI10.1007/S00165-011-0206-3zbMATH Open1298.68255OpenAlexW2052240326WikidataQ130963575 ScholiaQ130963575MaRDI QIDQ470035FDOQ470035

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

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

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)

Cites Work

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

Cited In (4)

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

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)