Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
type: Item
instance of: scholarly article
title: Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
zbMATH Open document ID: 1298.68255
author: Pablo Rabanal
author: Ismael Rodríguez
author: Fernando Rubio
published in: Formal Aspects of Computing
publication date: 2014-11-11T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T05
Mathematics Subject Classification ID: 90C59
zbMATH DE Number: 6368396
zbMATH Keywords: testing
zbMATH Keywords: weighted finite state machines
zbMATH Keywords: minimum load sequence
zbMATH Keywords: evolutionary computation
zbMATH Keywords: river formation dynamics
MaRDI profile type: Publication
full work available at URL: s00165-011-0206-3
OpenAlex ID: W2052240326
cites work: \(\mathcal {HOTL}\): Hypotheses and observations testing logic
cites work: Machine Learning Applications in Software Engineering
cites work: A Method for the Design of Fault Detection Experiments
cites work: Q4532083
cites work: Testing Software Design Modeled by Finite-State Machines
cites work: Q3844775
cites work: Q4451881
cites work: Q5480099
cites work: Q4530808
cites work: Testing can be formal, too
cites work: Q4472244
cites work: Q4079017
cites work: Automated Technology for Verification and Analysis
cites work: Q5485948
cites work: Branch-and-Bound Methods: A Survey
cites work: Testing finite-state machines: state identification and verification
cites work: Crossover can be constructive when computing unique input-output sequences
cites work: Equation of State Calculations by Fast Computing Machines
cites work: Q4532084
cites work: A General Testability Theory
cites work: Using River Formation Dynamics to Design Heuristic Algorithms
cites work: A Formal Approach to Heuristically Test Restorable Systems
cites work: Graph Algorithms for Conformance Testing Using the Rural Chinese Postman Tour
DOI: 10.1007/S00165-011-0206-3
Wikidata QID: Q130963575
description: scientific article; zbMATH DE number 6368396