Transition count testing of automata

zbMATH Open0548.68059MaRDI QIDQ799374FDOQ799374

Authors: Yu. Yu. Bogdanov, I. S. Grunskij 

Publication date: 1983

Published in: Automation and Remote Control (Search for Journal in Brave)

Recommendations

• Simulation testing of automata
• The design of checkable automata. I
• scientific article; zbMATH DE number 1855662
• scientific article; zbMATH DE number 1564050
• The design of checkable automata. II

zbMATH Keywords

automaton testing proceduretransition count testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cited In (3)

• Counting two-state transition-tour sequences
• Title not available (Why is that?)
• Simulation testing of automata

This page was built for publication: Transition count testing of automata

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