TY  - CHAP
AU  - García Merayo, María De Las Mercedes
AU  - Andrés Sánchez, César
AU  - Núñez García, Manuel
A4  - Hung, DV
A4  - Krishnan, P
PY  - 2009
DO  - 10.1109/SEFM.2009.21
SN  - 978-0-7695-3870-9
UR  - https://hdl.handle.net/20.500.14352/45321
AB  - In this paper we present a formal passive testing frameworkand use it to analyze time aspects in the Stream Control Transmission Protocol (SCTP). This protocol presentsdifferent phases where time aspects are critical. In orderto represent temporal...
LA  - eng
M2  - 73
PB  - IEEE Computer Soc
KW  - Finite-state machines
KW  - Timed automata
KW  - Weak mutation
KW  - Systems
KW  - Implementation
KW  - Specification
KW  - Generation
KW  - Computer Science
KW  - Software Engineering
TI  - Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol
TY  - book part
ER  -