scientific article; zbMATH DE number 2182429

zbMATH Open1102.68066MaRDI QIDQ3022296FDOQ3022296

Authors: Florentin Ipate, Tudor Bălănescu 

Publication date: 23 June 2005

Full work available at URL: http://iospress.metapress.com/link.asp?id=lq93f4dk097bnb7f

Title of this publication is not available (Why is that?)

Recommendations

• Finite state machine testing from an OR state refinement design
• Formal black box testing for partially specified deterministic finite state machines
• A method for refining and testing generalised machine specifications
• Stepwise refinement and concurrency: The finite-state case
• A testing procedure for deterministic cover finite state machines

zbMATH Keywords

verificationtestingtest generation\(W\)-methodFinite state machines

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Fault detection; testing in circuits and networks (94C12)

Cited In (3)

• Finite state machine testing from an OR state refinement design
• An optimised complete strategy for testing symbolic finite state machines
• FSM Test Translation Through Context

This page was built for publication:

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