%0 Book Section
%T Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol
publisher IEEE Computer Soc
%D 2009
%U 978-0-7695-3870-9
%@ https://hdl.handle.net/20.500.14352/45321
%X 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 requirements we use so-called timedinvariants since they allow us to easily verify that the traces collected from the observation of the protocol fulfill the corresponding timed constraints. In addition to introduce our theoretical framework, we report on the results obtainedfrom the application of our techniques over (possibly mutated)traces extracted from runs of the SCTP.
%~