A passive testing approach based on invariants: application to the WAP-Reference-Cited by-同舟云学术

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

Published:2005-06 Issue:2 Volume:48 Page:247-266
ISSN:1389-1286
Container-title:Computer Networks
language:en
Short-container-title:Computer Networks

Author:

Bayse Emmanuel,Cavalli Ana,Núñez Manuel,Zaïdi Fatiha

Publisher

Elsevier BV

Subject

Computer Networks and Communications

Reference21 articles.

1. J.M. Ayache, P. Azema, M. Diaz, Observer: a concept for on-line detection of control errors in concurrent systems, in: 9th Symposium on Fault-Tolerant Computing, 1979

2. Fast testing of critical properties through passive testing;Arnedo,2003

3. An optimization technique for protocol conformance test generation based on UIO sequences and Rural Chinese Postman tours;Aho,1988

4. A fast string searching algorithm;Boyer;Communications of the ACM,1977

5. Model Checking;Clarke,1999

Cited by 55 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Test Derivation against Timed Finite State Machines with Output Timed Guards;2023 International Russian Automation Conference (RusAutoCon);2023-09-10

2. Using Homing Traces for Simplifying Passive Testing of Discrete Event Systems;2022 International Russian Automation Conference (RusAutoCon);2022-09-04

3. Deriving homing sequences for Finite State Machines with timeouts;The Computer Journal;2022-06-15

4. Deriving Homing Sequences for Finite State Machines with Timed Guards;Automatic Control and Computer Sciences;2021-12

5. A tool supported methodology to passively test asynchronous systems with multiple users;Information and Software Technology;2018-12