A passive testing approach based on invariants: application to the WAP

DOI10.1016/J.COMNET.2004.09.009MaRDI QIDQ2484973zbMATH OpenOpenAlexFDO

Authors Emmanuel Bayse, Ana Cavalli, Fatiha Zaidi, Manuel Núñez

Publication date 3 August 2005

Published in Computer Networks (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.comnet.2004.09.009

zbMATH Keywords

InvariantsConformance testingPassive testingSoftware tools for testingWireless Application Protocol (WAP)

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Network design and communication in computer systems (68M10)

Recommendations

• scientific article; zbMATH DE number 2013792
• Passive Testing of Timed Systems
• Correct passive testing algorithms and complete fault coverage
• An extended framework for passive asynchronous testing
• Passive testing with asynchronous communications and timestamps

Cited in

(8)

• Passive Testing of Timed Systems
• Passive testing with asynchronous communications and timestamps
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• scientific article; zbMATH DE number 2013792 (Why is no real title available?)
• Formally transforming user-model testing problems into implementer-model testing problems and viceversa
• An extended framework for passive asynchronous testing
• Deriving Homing Sequences for Finite State Machines with Timed Guards
• Correct passive testing algorithms and complete fault coverage

This page was built for publication: A passive testing approach based on invariants: application to the WAP

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2484973)