Reduced checking sequences using unreliable reset

DOI10.1016/J.IPL.2015.01.002MaRDI QIDQ2339596zbMATH OpenOpenAlexFDO

Authors Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün

Publication date 2 April 2015

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

Full work available at URL https://doi.org/10.1016/j.ipl.2015.01.002

zbMATH Keywords

formal methodssynchronizing sequencesmodel-based testingfinite state machineschecking sequences

Mathematics Subject Classification ID

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

Recommendations

• Checking sequence generation for symbolic input/output FSMs by constraint solving
• Reduced length checking sequences
• On minimizing the lengths of checking sequences
• Lower bounds on lengths of checking sequences
• Using Distinguishing and UIO Sequences Together in a Checking Sequence

Cites work

• scientific article; zbMATH DE number 3328721 (Why is no real title available?)
• Model-based testing of reactive systems. Advanced lectures.
• On the probability of being synchronizable
• Testing Software Design Modeled by Finite-State Machines
• Testing finite state machines: Fault detection
• Testing finite-state machines: state identification and verification

Cited in

(6)

• DCCP partial reliability extension with sequence number compensation
• Reducing the Lengths of Checking Sequences by Overlapping
• Checking sequence generation for symbolic input/output FSMs by constraint solving
• Deriving Homing Sequences for Finite State Machines with Timed Guards
• Reduced length checking sequences
• Using Distinguishing and UIO Sequences Together in a Checking Sequence

This page was built for publication: Reduced checking sequences using unreliable reset

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