Model-based testing of probabilistic systems

DOI10.1007/S00165-017-0440-4zbMATH Open1380.68303OpenAlexW2782289391MaRDI QIDQ682363FDOQ682363

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

Publication date: 2 February 2018

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-017-0440-4

Recommendations

• Model-based testing of probabilistic systems
• Model-based testing of probabilistic systems with stochastic time
• Formal Approaches to Software Testing
• Specification, testing and implementation relations for symbolic-probabilistic systems
• Characterization of simulation by probabilistic testing

zbMATH Keywords

hypothesis testingprobabilistic automatonmodel-based testingtrace distribution

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• Title not available (Why is that?)
• FM 2005: Formal Methods
• Title not available (Why is that?)
• Global minimization of rational functions and the nearest GCDs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Interactive Markov chains. And the quest for quantified quality
• Bisimulation through probabilistic testing
• Title not available (Why is that?)
• A calculus of communicating systems
• Testing equivalences for processes
• Title not available (Why is that?)
• A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences
• Title not available (Why is that?)
• Title not available (Why is that?)
• A platform for high performance statistical model checking -- PLASMA
• Testing preorders for probabilistic processes.
• A testing scenario for probabilistic processes
• Characterising Testing Preorders for Finite Probabilistic Processes
• Testing probabilistic automata
• Computer Aided Verification
• Improved non-committing encryption with applications to adaptively secure protocols
• Computer Aided Verification
• Using schedulers to test probabilistic distributed systems
• Model-based testing of probabilistic systems
• A survey of modal logics characterising behavioural equivalences for non-deterministic and stochastic systems
• Formal Approaches to Software Testing
• Testing a probabilistic FSM using interval estimation

Cited In (7)

• Model-based testing of probabilistic systems
• Runtime monitors for Markov decision processes
• Model-based testing of probabilistic systems with stochastic time
• Title not available (Why is that?)
• Testing divergent transition systems
• Model-Based Test Selection for Infinite-State Reactive Systems
• Mixed nondeterministic-probabilistic automata: blending graphical probabilistic models with nondeterminism

Uses Software

• Matlab
• PRISM
• JTorX
• TorX
• Rapture
• PLASMA

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

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