A study on the extended unique input/output sequence

DOI10.1016/J.INS.2012.03.007zbMATH Open1248.68082OpenAlexW2111121616MaRDI QIDQ456677FDOQ456677

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

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.)

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)

Cites Work

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

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
• A new algorithm for generating UIO sequences
• An optimization technique for protocol conformance testing using multiple 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)