A study on the extended unique input/output sequence

DOI10.1016/j.ins.2012.03.007zbMath1248.68082OpenAlexW2111121616MaRDI QIDQ456677

J. Herrera, D. Rodríguez-Gómez

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)

Cites Work

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

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