scientific article; zbMATH DE number 1200754

MaRDI QIDQ4210112zbMATH OpenFDO

Authors Mike Holcombe, Florentin Ipate

Publication date 21 September 1998

zbMATH Keywords

testingcomplexitydesignmemorydeterminismrefinementminimalitystream X-machinescomputabilitytest setfinite state automatoncorrectnessstate diagramstate chartssystem specificationmodelling systemsX-machinesalphabet coveringbusiness process modelfunctional covering

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Recommendations

• Testing (stream) X-machines
• An integrated refinement and testing method for stream X-machines
• TESTING USING X-MACHINE TRANSLATIONS
• Testing methods for X-machines: a review
• Complete deterministic stream X-machine testing

Cited in

(16)

• On Testing P Systems
• Testing based on identifiable P systems using cover automata and X-machines
• A unified integration and component testing approach from deterministic stream X-machine specifications
• Test generation from P systems using model checking
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• Model checking safety-critical systems specified as X-machines
• Bounded sequence testing from deterministic finite state machines
• Testing non-deterministic stream X-machine models and P systems
• Testing data processing-oriented systems from stream X-machine models
• Checking experiments for stream X-machines
• Transforming communicating X-machines into P systems
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Finite state based testing of P systems
• A model learning based testing approach for spiking neural P systems
• Testing against a non-controllable stream X-machine using state counting
• Fundamental results for learning deterministic extended finite state machines from queries

Describes a project that uses

Uses Software

• Smalltalk

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