Characterization of simulation by probabilistic testing

DOI10.1007/978-3-319-30734-3_24MaRDI QIDQ2026807zbMATH OpenOpenAlexFDO

Authors Philipp Rümmer, Wang Yi

Publication date 20 May 2021

Full work available at URL https://doi.org/10.1007/978-3-319-30734-3_24

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Testing preorders for probabilistic processes can be characterized by simulations
• Formal Approaches to Software Testing
• Bisimulation through probabilistic testing
• Testing preorders for probabilistic processes.
• Model-based testing of probabilistic systems

Cited in

(8)

• scientific article; zbMATH DE number 6401121 (Why is no real title available?)
• Formal Approaches to Software Testing
• Testing preorders for probabilistic processes can be characterized by simulations
• Model-based testing of probabilistic systems
• Model-based testing of probabilistic systems
• Testing a probabilistic FSM using interval estimation
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• Customized Testing for Probabilistic Systems

This page was built for publication: Characterization of simulation by probabilistic testing

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