scientific article; zbMATH DE number 2182429

MaRDI QIDQ3022296zbMATH OpenFDO

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

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)

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

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)