%0 Conference Proceedings
%T Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation
%+ Sabanci University [Istanbul]
%+ University of Ottawa [Ottawa]
%A Güniçen, Canan
%A Jourdan, Guy-Vincent
%A Yenigün, Hüsnü
%Z Part 1: Model Based Testing
%< avec comité de lecture
%( 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
%3 Testing Software and Systems
%V LNCS-9447
%P 19-34
%8 2015-11-23
%D 2015
%R 10.1007/978-3-319-25945-1_2
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X A new method for constructing a checking sequence for finite state machine based testing is introduced. Unlike previous methods, which are based on state recognition using a single state identification sequence, our approach makes use of multiple state identification sequences. Using multiple state identification sequences provides an opportunity to construct shorter checking sequences, choosing greedily the state identification sequence that best suits our goal at different points during the construction of the checking sequence. We present the results of an experimental study showing that our approach produces shorter checking sequences than the previously published methods.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01470155/document
%2 https://inria.hal.science/hal-01470155/file/385214_1_En_2_Chapter.pdf
%L hal-01470155
%U https://inria.hal.science/hal-01470155
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-ICTSS
%~ IFIP-LNCS-9447