TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
A4  - Hinchey, M
A4  - Margaria, T
PY  - 2007
DO  - 10.1109/SEFM.2007.15
SN  - 978-0-7695-2884-7
UR  - https://hdl.handle.net/20.500.14352/53133
AB  - Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain conditions,...
LA  - eng
M2  - 227
PB  - IEEE COMPUTER SOC
TI  - Testing conformance on stochastic stream X-machines
TY  - book part
ER  -