A new algorithm for generating UIO sequences

MaRDI QIDQ3370582zbMATHFDO

Authors Junwei Xu, Bao-Hua Zhao, Yugui Qu

Publication date 8 February 2006

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Nonnumerical algorithms (68W05)

Recommendations

• A study on the extended unique input/output sequence
• Hardness of deriving invertible sequences from finite state machines
• Lower bounds for the length of test sequences using UIOs
• Computing the optimal IO sequences of a protocol in polynomial time
• Graph Algorithms for Conformance Testing Using the Rural Chinese Postman Tour

Cited in

(5)

• Lower bounds for the length of test sequences using UIOs
• Hardness of deriving invertible sequences from finite state machines
• Formal Approaches to Software Testing
• Synthesis of finite state machines for improved state verification
• A study on the extended unique input/output sequence

This page was built for publication: A new algorithm for generating UIO sequences

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