Principles and methods of testing finite state machines-a survey

No abstract is available for this paper.

• Publication year

  1996

• Venue

  Proceedings of the IEEE

• Publication date

  1996-08-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/5.533956
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computer networks

  2018cited by this paper
• Elements of Information Theory

  2005cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• An Efficient Algorithm for Minimizing Real-Time Transition Systems

  1997cited by this paper
• Passive testing and applications to network management

  1997cited by this paper
• Conformance testing of protocols specified as communicating finite state machines-a guided random walk based approach

  1996cited by this paper
• Introduction to algorithms

  1996cited by this paper
• Protocol pruning

  1995cited by this paper
• A useful FSM representation for test suite design and development

  1995cited by this paper
• Distinguishing tests for nondeterministic and probabilistic machines

  1995influential reference
• Application of the ISO distributed single layer testing method to the connectionless network protocol

  1995cited by this paper
• Testing Finite State Machines: Fault Detection

  1995cited by this paper
• MHTS/400—testing message handling systems

  1995cited by this paper
• Testing linear operators

  1995cited by this paper
• Testing Finite-State Machines: State Identification and Verification

  1994influential reference
• Cryptographic limitations on learning Boolean formulae and finite automata

  1994cited by this paper
• Generating test cases for EFSM with given fault models

  1993cited by this paper
• Minimum-cost synchronizable test sequence generation via the duplexU digraph

  1993cited by this paper
• Multiple fault diagnosis for finite state machines

  1993cited by this paper
• Probabilistic conformance testing of protocols with unobservable transitions

  1993cited by this paper
• Exact Solutions for the Construction of Optimal Length Test Sequences

  1993cited by this paper
• Reverse-engineering of communication protocols

  1993influential reference
• Multiple Fault Diagnostics for Finite State Machines.

  1993cited by this paper
• A unified approach to protocol test sequence generation

  1993cited by this paper
• Automatic Functional Test Generation Using The Extended Finite State Machine Model

  1993cited by this paper
• Probabilistic verification of Boolean functions

  1992cited by this paper
• Fault detection with multiple observers

  1992cited by this paper
• Testability in the Context of SDL

  1992cited by this paper
• Improvements on UIO Sequence Generation and Partial UIO Sequences

  1992cited by this paper
• Test result analysis and diagnostics for finite state machines

  1992cited by this paper
• Computing Diagnostic Test for Incorrect Processes

  1992cited by this paper
• A Test Derivation Method Based on Exploiting Structure Information

  1992cited by this paper
• Testing Probabilistic and Nondeterministic Processes

  1992cited by this paper
• VFSM executable specification

  1992cited by this paper
• Generating Conformance Test Sequences for Combined Control and Data Flow of Communication Protocols

  1992cited by this paper
• Test Suite Generation from a FSM with a Given Type of Implementation Errors

  1992cited by this paper
• Testability of Formal Specifications

  1992cited by this paper
• Automated Validation of TTCN Test Suites

  1992cited by this paper
• Computational learning theory: survey and selected bibliography

  1992cited by this paper
• A Test Suite Generation Method for Extended Finite State Machines Using Axiomatic Semantics Approach

  1992cited by this paper
• Automatic Test Generation for Protocol Data Aspects

  1992cited by this paper
• Test Generation for the Specification Written in Estelle

  1991cited by this paper
• A Well-Defined Estelle Specification for the Automatic Test Generation

  1991cited by this paper
• An optimization technique for protocol conformance test generation based on UIO sequences and rural Chinese postman tours

  1991cited by this paper
• Generating minimal length test sequences for conformance testing of communication protocols

  1991cited by this paper
• LAPB Conformance Testin Using Trace Analysis

  1991cited by this paper
• Test Selection Based on Finite State Models

  1991cited by this paper
• Generating Test Sequences and their Degrees of Indeterminism for Protocols

  1991cited by this paper
• Testing finite state machines

  1991cited by this paper
• Presentation Layer Conformance Testing with TTCN

  1991cited by this paper
• Conformance Relation, Associated Equivalence, and New Canonical Tester in LOTOS

  1991cited by this paper
• Protocol Conformance Testing by Discriminating UIO Sequences

  1991cited by this paper
• Test Generation from LOTOS Specifications

  1991cited by this paper
• A Framework for Test Selection

  1991cited by this paper
• Strategic Testing Environment with Formal Description Techniques

  1991cited by this paper
• Towards Automatic Test Generation for Protocol Data Aspects

  1991cited by this paper
• On the Complexity of Generating Optimal Test Sequences

  1991cited by this paper
• Development of an international standard for conformance testing X.25 DTEs January 1988 - May 1989

  1990cited by this paper
• Protocol conformance test generation using multiple UIO sequences with overlapping

  1990cited by this paper
• Formal methods for generating protocol conformance test sequences

  1990cited by this paper
• An Optimization Technique for Protocol Conformance Testing Using Multiple Uio Sequences

  1990cited by this paper
• Design and validation of protocols

  1990cited by this paper
• Approaches utilizing segment overlap to minimize test sequences

  1990cited by this paper
• The Derivation of Conformance Tests from LOTOS Specifications

  1990cited by this paper
• Test Case Generation for Protocols Specified in Estelle

  1990cited by this paper
• A notation for specifying test selection criteria

  1990cited by this paper
• Protocol testing: the first ten years, the next ten years

  1990cited by this paper
• Reset Sequences for Monotonic Automata

  1990influential reference
• Model-checking for real-time systems

  1990cited by this paper
• Towards execution of TTCN test cases

  1990cited by this paper
• Synchronizable protocol test generation via the duplex technique

  1990cited by this paper
• A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata

  1989cited by this paper
• Crytographic limitations on learning Boolean formulae and finite automata

  1989cited by this paper
• Inference of finite automata using homing sequences

  1989cited by this paper
• On Test Sequence Generation for Protocols

  1989cited by this paper
• An improved protocol test generation procedure based on UIOS

  1989cited by this paper
• Protocol conformance testing using multiple UIO sequences

  1989cited by this paper
• Formal Methods for Protocol Testing: A Detailed Study

  1989cited by this paper
• Trace Analysis for Conformance and Arbitration Testing

  1989cited by this paper
• Communication and concurrency

  1989cited by this paper
• The minimum consistent DFA problem cannot be approximated within any polynomial

  1989cited by this paper
• Design and Implementation of a Ferry Clip Test System

  1989cited by this paper
• The CO-OP Method for Compositional Derivation of Conformance Testers

  1989cited by this paper
• Experience with test generation for real protocols

  1988cited by this paper
• A Protocol Test Generation Procedure

  1988cited by this paper
• Learning Regular Sets from Queries and Counterexamples

  1987cited by this paper
• A Test Design Methodology for Protocol Testing

  1987cited by this paper
• A Test Derivation Method for Protocol Conformance Testing

  1987cited by this paper
• Protocol testing techniques

  1987cited by this paper
• Using Checking Sequences for OSI Session Layer Conformance Testing

  1987cited by this paper
• Protocol Testing for the ISDN D-Channel Network Layer

  1987cited by this paper
• Network Management and Directory Services Test System

  1987cited by this paper
• Optimal test sequence generation for protocols: chinese postman algorithm applied to q. 931

  1986cited by this paper
• Automatic generation of test scenario skeletons from protocol specifications written in ESTELLE

  1986cited by this paper
• Fault tolerant and fault testable hardware design

  1985cited by this paper
• Inferring the structure of a Markov Chain from its output

  1985cited by this paper
• A theory of the learnable

  1984cited by this paper
• Synchronization and Specification Issues in Protocol Testing

  1984cited by this paper
• Protocol Verification via Projections

  1984cited by this paper
• Data structures and network algorithms

  1983cited by this paper

• Agent technologies in smart manufacturing: A comprehensive review of evolution, architectures, and edge-cloud deployment

  2026cites this paper
• Jailbreaking Embodied LLMs via Action-level Manipulation

  2026cites this paper
• Formation control of swarm robotics: A survey from biological inspirations to design automation methods

  2026cites this paper
• Multi-agent proximal policy optimization supported dynamic behavior tree evolution for multi-agent systems

  2026cites this paper
• HACE: HLS-Tool-Agnostic CDFG Extraction from RTL Designs

  2026cites this paper
• Logic replicant: a new machine learning algorithm for multiclass classification in small datasets

  2025cites this paper
• A Survey of Attacks on Large Language Models

  2025cites this paper
• Validating Interior Gateway Routing Protocols via Equivalent Topology Synthesis

  2025cites this paper
• A survey on deep learning fundamentals

  2025cites this paper
• A survey on the recent random walk-based methods for embedding graphs

  2025cites this paper
• Systematic Evaluation of Black-Box Checking for Fast Bug Detection

  2025cites this paper
• Conformance in the railway industry: Single-Input-Change testing a EULYNX controller

  2025influential citation
• Finding SSH Strict Key Exchange Violations by State Learning

  2025cites this paper
• A Finite State Machine-Based Modeling Approach for Command and Logging in Nuclear Emergency Exercise

  2025cites this paper
• An AI-Driven Simulation Framework Integrating Fourth-Order Symplectic Integration and Online Bayesian Calibration

  2025cites this paper
• How Fly Neural Perception Mechanisms Enhance Visuomotor Control of Micro Robots

  2025cites this paper
• AutoPT: How Far Are We From the Fully Automated Web Penetration Testing?

  2025cites this paper
• Out-of-order enabled operating system for uncertain planning, scheduling and execution in aviation maintenance

  2025cites this paper
• Automata Models for Effective Bug Pattern Description

  2025cites this paper
• Narrative-Driven Learning: Teaching Finite State Machines Through Storytelling

  2025cites this paper
• Horizontal Autoscaling of Virtual Machines in Hybrid Cloud Infrastructures: Current Status, Challenges, and Opportunities

  2025cites this paper
• Synchronizing Sequence Computation Under Forbidden Event Constraints

  2025cites this paper
• Automata Models for Effective Bug Description

  2025cites this paper
• Xareus: a Framework to Create Interactive Applications without Coding

  2025cites this paper
• LongWeave: A Long-Form Generation Benchmark Bridging Real-World Relevance and Verifiability

  2025cites this paper
• Evolutionary Synthesis of High-Capacity Reconfigurable Multilayer Road Networks Using a Multiagent Hybrid Clustering-Assisted Genetic Algorithm

  2025cites this paper
• AudAgent: Automated Auditing of Privacy Policy Compliance in AI Agents

  2025cites this paper
• GoBot: An Autonomous Assistive Robot Using Behavior Trees to Encourage Child Mobility

  2025cites this paper
• DemonAgent: Dynamically Encrypted Multi-Backdoor Implantation Attack on LLM-based Agent

  2025cites this paper
• State machine design for an automated peritoneal dialysis machine

  2025cites this paper
• Efficient State Identification for Finite State Machine-Based Testing

  2025cites this paper
• Co-Processor Based FSM Generator

  2025cites this paper
• Research on digital twin system driven by assembly action sequence database

  2025cites this paper
• Behavioral Decision-Making of Mobile Robots Simulating the Functions of Cerebellum, Basal Ganglia, and Hippocampus

  2025cites this paper
• Assessing the coverage of W-based conformance testing methods over code faults

  2024cites this paper
• Automatic testing of runtime enforcers with Test4Enforcers

  2024cites this paper
• New Fault Domains for Conformance Testing of Finite State Machines

  2024cites this paper
• Complete Test Suites for Automata in Monoidal Closed Categories

  2024cites this paper
• Parallelizing Cipher Processes with Finite State Machine in MATLAB for Substitution and Transposition

  2024cites this paper
• MTR Model-Based Testing Framework

  2024cites this paper
• A Novel Multi-Sensor Fusion System with a Machine Learning-Based Human-Machine Interface for Automating Industrial Robots

  2024cites this paper
• BeSimulator: A Large Language Model Powered Text-based Behavior Simulator

  2024cites this paper
• Scenario‐Driven Metamorphic Testing for Autonomous Driving Simulators

  2024cites this paper
• State-Based Automation for Time-Restricted Eating Adherence

  2024cites this paper
• Finite State Machine of the MQTT-SN Protocol for Its Operation Over IEEE 802.15.4 in Linear Topologies

  2024cites this paper
• DeepCover: Advancing RNN Test Coverage and Online Error Prediction using State Machine Extraction

  2024cites this paper
• LINK: Self-Adaptive System with Human-Machine Teaming-based Loop for Interoperability in IoT Environments

  2024cites this paper
• A Rule-Based Log Analysis Approach for State-Machine Governed Systems

  2024cites this paper
• Generating and Evaluating Data of Daily Activities with an Autonomous Agent in a Virtual Smart Home

  2024cites this paper
• An Online Monitoring System for In Situ and Real-Time Analyzing of Inclusions within the Molten Metal

  2024cites this paper
• On the Performance Evaluation of Protocol State Machine Reverse Engineering Methods

  2024cites this paper
• A Method for Modeling and Testing Near-Real-Time System Scenarios

  2024cites this paper
• Bifurcations of inflating balloons and interacting hysterons.

  2024cites this paper
• Affordable Generative Agents

  2024cites this paper
• AMOR: A Recipe for Building Adaptable Modular Knowledge Agents Through Process Feedback

  2024cites this paper
• Event-Based Supervisors for the Maintenance Process of a Printing Machine

  2024cites this paper
• A New Perspective on Conformance Testing Based on Apartness

  2024cites this paper
• Semi-Open-State Testing for in-Silicon Coherent Interconnects

  2024cites this paper
• Formalization and Automation of Post-NGN Communication Network Testing Processes

  2024cites this paper
• A Survey on Recent Random Walk-based Methods for Embedding Knowledge Graphs

  2024cites this paper
• Research on Modeling Methods for General Characteristics of Cyber-Physical Systems

  2024cites this paper
• Accelerating Finite State Machine-Based Testing Using Reinforcement Learning

  2024influential citation
• Modeling Air Combat Behavior for Simulation-Based Pilot Training: A Survey of Machine Learning Approaches

  2024cites this paper
• Interpretable Finite State Machine Controller: A Case Study on Lane Merge Yield Mode

  2024cites this paper
• A hybrid approach to system verification in early design for complex mechatronic systems based on formal functional semantics

  2023cites this paper
• Research on Real-time Early Warning Mechanism of Aviation Safety Based on Finite State Machine Underlying in QAR Stream Data

  2023cites this paper
• Testing and incremental conformance testing of timed state machines

  2023cites this paper
• Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking

  2023cites this paper
• Production Resource Scheduling for Industrial Internet Products Based on Finite State Automata and Critical Locks

  2023cites this paper
• Black-box Testing Liveness Properties of Partially Observable Stochastic Systems

  2023cites this paper
• Active Inference of Extended Finite State Models of Software Systems

  2023cites this paper
• CompressGraph: Efficient Parallel Graph Analytics with Rule-Based Compression

  2023cites this paper
• Non-Standard Address Parsing in Chinese Based on Integrated CHTopoNER Model and Dynamic Finite State Machine

  2023cites this paper
• Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs

  2023cites this paper
• Task Switching Model for Acceleration Control of Multi-DOF Manipulator Using Behavior Trees

  2023cites this paper
• Automata-Based Automated Detection of State Machine Bugs in Protocol Implementations

  2023cites this paper
• Automata-Based Study of Dynamic Access Control Policies

  2023cites this paper
• Error-Type—A Novel Set of Software Metrics for Software Fault Prediction

  2023cites this paper
• Testing Causality in Scientific Modelling Sotware

  2023cites this paper
• Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis

  2023cites this paper
• Studying Synchronization Issues for Extended Automata

  2023cites this paper
• Research on Improved OLLVM Based on Code Rearrangement Architecture

  2023cites this paper
• Utilizing Reusable Test-Ready Models of Smart Home Systems for Testing KNX Devices

  2023cites this paper
• Improving Model Learning by Inferring Separating Sequences from Traces

  2023cites this paper
• Squeeziness for non-deterministic systems

  2023cites this paper
• Segment-Based Formal Verification of WiFi Fragmentation and Power Save Mode

  2023cites this paper
• Simulation of discrete control systems with parallelism of behavior

  2023cites this paper
• Survey of Model-Based Security Testing Approaches in the Automotive Domain

  2023influential citation
• Using SAT Solvers to Reverse-Engineer FSM Models of Digital Devices

  2023cites this paper
• Formalizing UML State Machines for Automated Verification – A Survey

  2023cites this paper
• Attack Synchronizing Sequence Computation for Output Synchronized Petri Nets with Multiple Deadlocks

  2023cites this paper
• Modelling Second-Order Uncertainty in State Machines

  2023cites this paper
• Model-based Testing of Scratch Programs

  2022cites this paper
• A Systematic Literature Review on prioritizing software test cases using Markov chains

  2022cites this paper
• Prioritized Variable-length Test Cases Generation for Finite State Machines

  2022cites this paper
• FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata

  2022cites this paper
• Action Codes

  2022cites this paper
• Fingerprinting and analysis of Bluetooth devices with automata learning

  2022influential citation
• A Flow Graph based Approach for controlled Generation of AAS Digital Twin Instances for the Verification of Compliance Check Tools

  2022cites this paper
• Semi-Automatic Testing of Data-Focused Software Development Kits for Industrie 4.0

  2022cites this paper