%0 Conference Proceedings
%T Heuristics for deriving adaptive homing and distinguishing sequences for nondeterministic finite state machines
%+ Département Réseaux et Services Multimédia Mobiles (TSP - RS2M)
%+ Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux (SAMOVAR)
%+ Tomsk State University [Tomsk]
%+ Centre National de la Recherche Scientifique (CNRS)
%+ Faculty of Engineering and Natural Sciences (Sabanci University)
%A Kushik, Natalia
%A Yenigun, Husnu
%Z Part 6: Short Papers
%< avec comité de lecture
%Z 16089
%( Lecture Notes in Computer Science
%B 27th IFIP International Conference on Testing Software and Systems (ICTSS)
%C Sharjah And Dubai, United Arab Emirates
%Y Khaled El-Fakih
%Y Gerassimos Barlas
%Y Nina Yevtushenko
%I Springer international publishing
%3 Testing Software and Systems
%V LNCS-9447
%P 243-248
%8 2015-11-23
%D 2015
%R 10.1007/978-3-319-25945-1_15
%K Nondeterministic finite state machines
%K Adaptive homing sequence
%K Adaptive distinguishing sequence
%K Novel heuristics
%Z Computer Science [cs]/Discrete Mathematics [cs.DM]Conference papers
%X 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
%G English
%Z TC 6
%Z WG 6.1
%2 https://hal.science/hal-01262740/document
%2 https://hal.science/hal-01262740/file/385214_1_En_15_Chapter.pdf
%L hal-01262740
%U https://hal.science/hal-01262740
%~ INSTITUT-TELECOM
%~ CNRS
%~ TELECOM-SUDPARIS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ TDS-MACS
%~ IFIP-ICTSS
%~ IFIP-LNCS-9447
%~ INSTITUTS-TELECOM