Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems

DOI10.1007/11888116_33zbMath1225.68046OpenAlexW2109872988MaRDI QIDQ3613092

Luis Llana-Díaz, Ismael Rodríguez, Manuel A. Nunez

Publication date: 11 March 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11888116_33

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Formally transforming user-model testing problems into implementer-model testing problems and viceversa, Automatically testing interactive applications using extended task trees

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Testing equivalences for processes
• Algebraic theory of probabilistic and nondeterministic processes.
• Algebraic theory of probabilistic processes.
• Testing preorders for probabilistic processes.
• Reactive, generative, and stratified models of probabilistic processes
• Specification, testing and implementation relations for symbolic-probabilistic systems
• A Logic for Assessing Sets of Heterogeneous Testing Hypotheses
• Customized Testing for Probabilistic Systems
• Testing Programs with the Aid of a Compiler