State Identification for Labeled Transition Systems with Inputs and Outputs

@inproceedings{Bos2019StateIF,
  title={State Identification for Labeled Transition Systems with Inputs and Outputs},
  author={Petra van den Bos and Frits W. Vaandrager},
  booktitle={FACS},
  year={2019}
}
For Finite State Machines (FSMs) a rich testing theory has been developed to discover aspects of their behavior and ensure their correct functioning. Although this theory is widely used, e.g., to check conformance of protocol implementations, its applicability is limited by restrictions of the FSM framework: the fact that inputs and outputs alternate in an FSM, and outputs are fully determined by the previous input and state. Labeled Transition Systems with inputs and outputs (LTSs), as studied… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 25 REFERENCES

Testing Finite-State Machines: State Identification and Verification

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

n-Complete test suites for IOCO

VIEW 19 EXCERPTS

Introduction to the theory of finite-state machines

VIEW 15 EXCERPTS
HIGHLY INFLUENTIAL

Testing Finite State Machines: Fault Detection

VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Complete composition operators for ioco-testing theory