TY  - JOUR
AU  - García Merayo, María De Las Mercedes
AU  - Núñez García, Manuel
AU  - Hierons, Robert M.
PY  - 2011
DO  - 10.1002/spe.1062
SN  - 0038-0644
UR  - https://hdl.handle.net/20.500.14352/42186
T2  - Software: Practice and Experience
AB  - Distributed systems are usually composed of several distributed components that communicate with their environment through specific ports. When testing such a system we separately observe sequences of inputs and outputs at each port rather than a...
M2  - 999
PB  - John Wiley and Sons
KW  - Formal testing
KW  - Systems with distributed ports
KW  - Scenarios
KW  - Implementation relations
KW  - Controllable testing
KW  - Test architecture
KW  - Synchronization
KW  - Sequences
KW  - Automata
TI  - Scenarios-based testing of systems with distributed ports
TY  - journal article
VL  - 41
ER  -