A study on the extended unique input/output sequence

DOI10.1016/J.INS.2012.03.007MaRDI QIDQ456677zbMATH OpenOpenAlexFDO

Authors Xinchang Zhang, Meihong Yang, Jian Zhang, Huiling Shi, Wei Zhang

Publication date 16 October 2012

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2012.03.007

zbMATH Keywords

statefinite state machineprotocol conformance testingunique input/output sequence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• Investigating some special sequence lengths generated in an external exclusive-NOR type LFSR
• A new algorithm for generating UIO sequences
• Runtime analysis of the (1+1) EA on computing unique input output sequences
• On the optimality of extended maximal length linear feedback shift register sequences
• Fast Software Encryption
• A random encoding method for secure data communication: An extension of sequential coding
• Optimal input design using generalized binary sequence
• A unique ranking of multilevel sequences and its application to source coding (Corresp.)
• A generalized method for encoding and decoding run-length-limited binary sequences (Corresp.)

Cites work

• scientific article; zbMATH DE number 3254909 (Why is no real title available?)
• A Method for the Design of Fault Detection Experiments
• Checking experiments for sequential machines
• Crossover can be constructive when computing unique input-output sequences
• Evolutionary generation of unique input/output sequences for class behavioral testing
• Synthesis of finite state machines for improved state verification
• Testing Software Design Modeled by Finite-State Machines
• Using Distinguishing and UIO Sequences Together in a Checking Sequence

Cited in

(5)

• Hardness of deriving invertible sequences from finite state machines
• Runtime analysis of the (1+1) EA on computing unique input output sequences
• An optimization technique for protocol conformance testing using multiple UIO sequences
• A new algorithm for generating UIO sequences
• Synthesis of finite state machines for improved state verification

This page was built for publication: A study on the extended unique input/output sequence

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