Customized Testing for Probabilistic Systems
From MaRDI portal
Publication:3434656
DOI10.1007/11754008_6zbMath1185.68094OpenAlexW1500251684MaRDI QIDQ3434656
Luis Llana-Díaz, Manuel A. Nunez, Ismael Rodríguez
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11754008_6
Related Items (3)
Formally transforming user-model testing problems into implementer-model testing problems and viceversa ⋮ Automatically testing interactive applications using extended task trees ⋮ Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
This page was built for publication: Customized Testing for Probabilistic Systems