A testing procedure for deterministic cover finite state machines

MaRDI QIDQ3018215zbMATH OpenFDO

Authors Florentin Ipate, Tudor Bălănescu

Publication date 21 July 2011

zbMATH Keywords

finite state machinestesting proceduresW-methodWp-method

Mathematics Subject Classification ID

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

Recommendations

• Formal black box testing for partially specified deterministic finite state machines
• \(W_p\)-method for partially specified deterministic finite state machines
• Finite state based testing of P systems
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• A model for determining the set of characterization of D-systems

Cited in

(11)

• Finite state based testing of P systems
• Error handling in software systems: modeling and testing with finite state machines
• scientific article; zbMATH DE number 2182429 (Why is no real title available?)
• Formal black box testing for partially specified deterministic finite state machines
• Closed Covers: To Verify Progress for Communicating Finite State Machines
• Bounded Sequence Testing from Non-deterministic Finite State Machines
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
• \(W_p\)-method for partially specified deterministic finite state machines
• A model for determining the set of characterization of D-systems
• Bounded sequence testing from deterministic finite state machines

This page was built for publication: A testing procedure for deterministic cover finite state machines

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