@inproceedings{7eaaee8ddf5044488d94407656aab8ec,
title = "Decreasing the complexity of deriving test suites against nondeterministic finite state machines",
abstract = "The paper presents a Finite State Machine (FSM) based approach for deriving tests with reduced complexity, under the White Box testing assumption where all the faulty implementations are explicitly enumerated. The specification and implementation FSMs are assumed to be initialized, i.e., each possibly partial and (non-observable) nondeterministic FSM has a reliable reset. The proposed technique is illustrated by the application to a communication protocol.",
keywords = "(Nondeterministic) Finite State Machines (FSMs), (adaptive) distinguishing sequences, projections, test suites",
author = "Husnu Yenigun and Natalia Kushik and Jorge Lopez and Nina Yevtushenko and Cavalli, \{Ana R.\}",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 2017 IEEE East-West Design and Test Symposium, EWDTS 2017 ; Conference date: 27-09-2017 Through 02-10-2017",
year = "2017",
month = nov,
day = "14",
doi = "10.1109/EWDTS.2017.8110091",
language = "English",
series = "Proceedings of 2017 IEEE East-West Design and Test Symposium, EWDTS 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
booktitle = "Proceedings of 2017 IEEE East-West Design and Test Symposium, EWDTS 2017",
}