@inproceedings{9bdac35543ec456e93002186e1e650cc,
title = "Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines",
abstract = "Distinguishing Sequences (DS) and Homing Sequences (HS) are used for state identification purposes in Finite State Machine (FSM) based testing. For deterministic FSMs, DS and HS related problems are well studied, for both preset and adaptive cases. There are also recent algorithms for checking the existence and constructing Adaptive DS and Adaptive HS for nondeterministic FSMs. However, most of the related problems are proven to be PSPACE-complete, while the worst case height of Adaptive DS and HS is known to be exponential. Therefore, novel heuristics and FSM classes where they can be applied need to be provided for effective derivation of such sequences. In this paper, we present a work in progress on the minimization of Adaptive DS and Adaptive HS for nondeterministic FSMs.",
keywords = "Adaptive distinguishing sequence, Adaptive homing sequence, Nondeterministic finite state machines, Novel heuristics",
author = "Natalia Kushik and H{\"u}sn{\"u} Yenig{\"u}n",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2015.; 27th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2015 ; Conference date: 23-11-2015 Through 25-11-2015",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-25945-1\_15",
language = "English",
isbn = "9783319259444",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "243--248",
editor = "Nina Yevtushenko and Khaled El-Fakih and Gerassimos Barlas",
booktitle = "Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Proceedings",
}