scientific article; zbMATH DE number 6125212

MaRDI QIDQ4900328zbMATH OpenFDO

Authors Florentin Ipate, Marian Gheorghe, Tudor Bălănescu

Publication date 14 January 2013

zbMATH Keywords

completenessdesign for test conditionsfinite state machinegeneralised stream X-machinenondeterminismoutput-distinguishability

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2050930
• scientific article; zbMATH DE number 1263212
• Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
• Model Checking Using Generalized Testing Automata
• scientific article; zbMATH DE number 3903969
• General Algorithms for Testing the Ambiguity of Finite Automata
• Bounded Sequence Testing from Non-deterministic Finite State Machines
• Piecewise testable languages and nondeterministic automata
• scientific article; zbMATH DE number 1760049

Cited in

(10)

• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Specification, testing and verification of unconventional computations using generalizedX-machines
• Formal black box testing for partially specified deterministic finite state machines
• Bounded Sequence Testing from Non-deterministic Finite State Machines
• scientific article; zbMATH DE number 3903969 (Why is no real title available?)
• Generating Candidates When Testing a Deterministic Implementation against a Non-deterministic Finite-state Machine
• scientific article; zbMATH DE number 2050930 (Why is no real title available?)
• \(W_p\)-method for partially specified deterministic finite state machines
• Generating test sets from non-deterministic stream X-machines
• Generalised stream X-machines with output delimited type

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 Q4900328)