Testing methods for X-machines: a review

DOI10.1007/S00165-005-0085-6MaRDI QIDQ2432227zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 25 October 2006

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-005-0085-6

zbMATH Keywords

software testingfinite state machinesX-machinestest set generation

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• TESTING USING X-MACHINE TRANSLATIONS
• Testing (stream) X-machines
• scientific article; zbMATH DE number 2050930
• Testing conformance of a deterministic implementation against a non-deterministic stream X-machine
• Generating test sets from non-deterministic stream X-machines

Cited in

(13)

• 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
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• Formal black box testing for partially specified deterministic finite state machines
• TESTING USING X-MACHINE TRANSLATIONS
• Testing (stream) X-machines
• Testing non-deterministic stream X-machine models and P systems
• Specification, testing and verification of unconventional computations using generalizedX-machines
• Testing data processing-oriented systems from stream X-machine models
• The relation between preset distinguishing sequences and synchronizing sequences
• Evaluation and Comparison of Inferred Regular Grammars
• Testing against a non-controllable stream X-machine using state counting
• Fundamental results for learning deterministic extended finite state machines from queries

This page was built for publication: Testing methods for X-machines: a review

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