Finite state machine testing from an OR state refinement design

MaRDI QIDQ3018235zbMATH OpenFDO

Authors Florentin Ipate, Tudor Bălănescu

Publication date 21 July 2011

zbMATH Keywords

finite state machineOR state refinementtest generationverificationW-method

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2182429
• A method for refining and testing generalised machine specifications
• Testing Finite State Machines Presenting Stochastic Time and Timeouts
• Formal black box testing for partially specified deterministic finite state machines
• The ASM refinement method

Cited in

(1)

• scientific article; zbMATH DE number 2182429 (Why is no real title available?)

This page was built for publication: Finite state machine testing from an OR state refinement design

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