HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation

Abstract : 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.
Complete list of metadata

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, February 17, 2017 - 10:25:50 AM
Last modification on : Thursday, September 2, 2021 - 8:14:03 AM
Long-term archiving on: : Thursday, May 18, 2017 - 2:06:36 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Canan Güniçen, Guy-Vincent Jourdan, Hüsnü Yenigün. Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation. 27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.19-34, ⟨10.1007/978-3-319-25945-1_2⟩. ⟨hal-01470155⟩



Record views


Files downloads