Model-Based Testing of Probabilistic Systems

DOI10.1007/978-3-662-49665-7_15zbMath1378.68123OpenAlexW2414501716MaRDI QIDQ2801763

Marcus Gerhold, Mariëlle I. A. Stoelinga

Publication date: 21 April 2016

Published in: Fundamental Approaches to Software Engineering (Search for Journal in Brave)

Full work available at URL: https://research.utwente.nl/en/publications/modelbased-testing-of-probabilistic-systems(60553a84-f581-44a1-a294-b49bdd8f41a6).html

Mathematics Subject Classification ID

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

Related Items (1)

Model-based testing of probabilistic systems

This page was built for publication: Model-Based Testing of Probabilistic Systems