On deriving test suites for nondeterministic finite state machines with time-outs

DOI10.1134/S036176881203005XzbMath1252.68080MaRDI QIDQ1758706

N. V. Shabaldina, R. F. Galimullin

Publication date: 16 November 2012

Published in: Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

nonseparabilityseparating sequencemutation machinenondeterministic finite state machines with time-outstest suitestimed input sequence

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Synthesis of distinguishing test cases for timed finite state machines
• Formal testing from timed finite state machines

This page was built for publication: On deriving test suites for nondeterministic finite state machines with time-outs