@inproceedings{bfff2b070c92455aa05efde43c95dfdd,
title = "FSM-based test derivation strategies for systems with time-outs",
abstract = "The paper presents a method for deriving a complete test suite for a timed deterministic FSM with time-outs when only the upper bound on the number of states and the largest finite time-out at a state of an implementation under test are known. We also show that a test suite derived for a corresponding classical FSM is much longer than this obtained directly from a FSM with time-outs. The application to a case study, the Loan Approval Service, illustrates how our approach can be applied for deriving tests for compositions of timed FSMs.",
keywords = "FSM with time-outs (timed FSM), complete test suite, the functional equivalence",
author = "M. Zhigulin and N. Yevtushenko and S. Maag and A. Cavalli",
year = "2011",
month = sep,
day = "26",
doi = "10.1109/QSIC.2011.30",
language = "English",
isbn = "9780769544687",
series = "Proceedings - International Conference on Quality Software",
pages = "141--149",
booktitle = "Proceedings - 11th International Conference on Quality Software, QSIC 2011",
note = "11th International Conference on Quality Software, QSIC 2011 ; Conference date: 13-07-2011 Through 14-07-2011",
}