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

DOI10.1016/J.COMNET.2004.09.009zbMATH Open1080.68534OpenAlexW2026774266MaRDI QIDQ2484973FDOQ2484973

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

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

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)

Cited In (8)

• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• Formally transforming user-model testing problems into implementer-model testing problems and viceversa
• Passive testing with asynchronous communications and timestamps
• Passive Testing of Timed Systems
• Title not available (Why is that?)
• 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)