Model-based testing of probabilistic systems with stochastic time

DOI10.1007/978-3-319-61467-0_5MaRDI QIDQ5086223zbMATH OpenOpenAlexFDO

Authors Marcus Gerhold, Mariëlle I. A. Stoelinga

Publication date 1 July 2022

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-61467-0_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Model-based testing of probabilistic systems
• Model-based testing of probabilistic systems
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Testing from a stochastic timed system with a fault model
• Computer Aided Verification

Cited in

(7)

• Testing from a stochastic timed system with a fault model
• Model-based testing of probabilistic systems
• Model-Based Test Selection for Infinite-State Reactive Systems
• Computer Aided Verification
• A Stochastic Theory of Black-Box Software Testing
• Formal Techniques for Networked and Distributed Systems - FORTE 2003
• Model-based testing of probabilistic systems

This page was built for publication: Model-based testing of probabilistic systems with stochastic time

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