Calculating Probabilities of Real-Time Test Cases

DOI10.1007/11759744_10MaRDI QIDQ3434607zbMATH OpenOpenAlexFDO

Authors Marcin Jurdziński, Doron Peled, Hongyang Qu

Publication date 2 May 2007

Published in Formal Approaches to Software Testing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11759744_10

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Automatic verification of real-time systems with discrete probability distributions.
• Model-checking for probabilistic real-time systems
• A testing scenario for probabilistic processes
• Testing of symbolic-probabilistic systems
• Retaining the probabilities in probabilistic testing theory

Cites work

• Automatic verification of real-time systems with discrete probability distributions.
• Beyond memoryless distributions: model checking semi-Markov chains
• ENFORCING CONCURRENT TEMPORAL BEHAVIORS
• First passage time analysis of stochastic process algebra using partial orders
• Integration over a Polyhedron: An Application of the Fourier-Motzkin Elimination Method
• Model checking stochastic automata
• Model-checking for probabilistic real-time systems
• On the Complexity of Computing the Volume of a Polyhedron
• Validation of Stochastic Systems
• Validation of Stochastic Systems
• Verifying quantitative properties of continuous probabilistic timed automata

Cited in

(1)

• Performance evaluation of schedulers in a probabilistic setting

This page was built for publication: Calculating Probabilities of Real-Time Test Cases

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