Test sequence generation from the protocol data portion based on the selecting Chinese postman algorithm

DOI10.1016/S0020-0190(97)00208-1MaRDI QIDQ293259zbMATHFDO

Authors Wen-Huei Chen

Publication date 9 June 2016

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL http://www.sciencedirect.com/science/article/pii/S0020019097002081?np=y

zbMATH Keywords

conformance testingdata portionprotocolstest sequence

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Graph Algorithms for Conformance Testing Using the Rural Chinese Postman Tour
• scientific article; zbMATH DE number 1277118
• An optimization technique for protocol conformance testing using multiple UIO sequences
• On the complexity of generating synchronizable test sequences
• Test generation for interaction detection in feature-rich communication systems

Cited in

(6)

• An adaptive generation algorithm for executable state identification sequences in the EFSM model
• An optimization technique for protocol conformance testing using multiple UIO sequences
• Test data generation for stateful network protocol fuzzing using a rule-based state machine
• Synchronization paradigm for protocol testing under multiparty configuration
• On the complexity of generating synchronizable test sequences
• scientific article; zbMATH DE number 1728526 (Why is no real title available?)

This page was built for publication: Test sequence generation from the protocol data portion based on the selecting Chinese postman algorithm

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