TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Andrés Sánchez, César
PY  - 2009
DO  - 10.1109/ICST.2009.35
SN  - 978-1-4244-3775-7
UR  - https://hdl.handle.net/20.500.14352/49995
T2  - Second International Conference on Software Testing, Verification, and Validation, Proceedings
AB  - In this paper we introduce a formal Methodology to perforin passive testing, based on invariants, for systems where the passing of time is represented in probabilistic terms by means of probability distributions functions. In our approach, invariants...
LA  - eng
M2  - 71
PB  - IEEE COMPUTER SOC
KW  - Computer Science
KW  - Software Engineering
KW  - Engineering
KW  - Electrical & Electronic
KW  - Finite-State Machines
TI  - Passive Testing of Stochastic Timed Systems
TY  - journal article
ER  -