A Formal Approach to Heuristically Test Restorable Systems

DOI10.1007/978-3-642-03466-4_19MaRDI QIDQ3393417zbMATH OpenOpenAlexFDO

Authors Pablo Rabanal, Ismael Rodríguez, Fernando Rubio

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_19

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Formal languages and automata (68Q45) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Testing Finite State Machines Presenting Stochastic Time and Timeouts
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Testing finite state machines: Fault detection
• Canonical finite state machines for distributed systems

Cited in

(2)

• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• The incremental maintenance of transition tour

This page was built for publication: A Formal Approach to Heuristically Test Restorable Systems

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