Calculating Probabilities of Real-Time Test Cases

DOI10.1007/11759744_10zbMath1183.68178OpenAlexW1491429117MaRDI QIDQ3434607

Doron A. Peled, Hongyang Qu, Marcin Jurdziński

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)

Related Items (1)

Performance Evaluation of Schedulers in a Probabilistic Setting

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automatic verification of real-time systems with discrete probability distributions.
• On the Complexity of Computing the Volume of a Polyhedron
• Integration over a Polyhedron: An Application of the Fourier-Motzkin Elimination Method
• Model checking stochastic automata
• Validation of Stochastic Systems
• Validation of Stochastic Systems
• ENFORCING CONCURRENT TEMPORAL BEHAVIORS

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