Testing methods for X-machines: a review

DOI10.1007/S00165-005-0085-6zbMATH Open1103.68461OpenAlexW2020660308MaRDI QIDQ2432227FDOQ2432227

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

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

zbMATH Keywords

software testingfinite state machinesX-machinestest set generation

Mathematics Subject Classification ID

Theory of software (68N99)

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
• Formal black box testing for partially specified deterministic finite state machines
• Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
• TESTING USING X-MACHINE TRANSLATIONS
• Testing non-deterministic stream X-machine models and P systems
• Testing (stream) X-machines
• 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)