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.
• scientific article; zbMATH DE number 176728
• A testing scenario for probabilistic processes
• Formal Approaches to Software Testing
• Retaining the probabilities in probabilistic testing theory

Cites work

• Automatic verification of real-time systems with discrete probability distributions.
• ENFORCING CONCURRENT TEMPORAL BEHAVIORS
• scientific article; zbMATH DE number 1701761 (Why is no real title available?)
• scientific article; zbMATH DE number 176728 (Why is no real title available?)
• scientific article; zbMATH DE number 1759607 (Why is no real title available?)
• scientific article; zbMATH DE number 1884412 (Why is no real title available?)
• Integration over a Polyhedron: An Application of the Fourier-Motzkin Elimination Method
• Model checking stochastic automata
• On the Complexity of Computing the Volume of a Polyhedron
• Validation of Stochastic Systems
• Validation of Stochastic Systems

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)