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)

zbMATH Keywords

automaton testing proceduretransition count testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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

Cited in

(3)

• Counting two-state transition-tour sequences
• scientific article; zbMATH DE number 3866591 (Why is no real title available?)
• 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)