Test Suite Minimization for Embedded Nondeterministic Finite State Machines

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35567-2_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Testing Nondeterministic Finite State Machines With Respect to the Separability Relation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Synthesis Method of Finite State Machines Based on State Minimization for Low Power Design

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

A Nondeterministic Minimization Algorithm

1990English

Finite State Machines

2017English

Software Test Suite Minimization Using Ant Colony Optimization

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Deriving Adaptive Distinguishing Sequences for Finite State Machines

Proceedings of the Institute for System Programming of the RAS
2018English

Model Abstraction of Nondeterministic Finite-State Automata in Supervisor Synthesis

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2010English

Probabilistic Finite-State Machines - Part I

IEEE Transactions on Pattern Analysis and Machine Intelligence
Pattern RecognitionApplied MathematicsComputer VisionMathematicsComputational TheoryArtificial IntelligenceSoftware
2005English

Checking Experiments for Finite State Machines With Symbolic Inputs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy