Hierons, Robert M. and Jourdan, Guy-Vincent and Ural, Hasan and Yenigün, Hüsnü (2007) Using Adaptive Distinguishing Sequences in Checking Sequence Constructions. In: Proceedings of ACM Symposium on Applied Computing, Brazil (Accepted/In Press)
There is a more recent version of this item available.
Abstract
A number of methods have been published to construct checking sequences for testing from Finite State Machine-based specifications. Many of these methods require the existence of a preset distinguishing sequence in the model. In this paper, we show that usually an adaptive distinguishing sequence is sufficient for these methods to work. This result is significant because adaptive distinguishing sequences are strictly more common and up to exponentially shorter than preset ones.
| Item Type: | Papers in Conference Proceedings |
|---|---|
| Divisions: | Faculty of Engineering and Natural Sciences |
| Depositing User: | Hüsnü Yenigün |
| Date Deposited: | 31 Oct 2007 09:36 |
| Last Modified: | 26 Apr 2022 08:42 |
| URI: | https://research.sabanciuniv.edu/id/eprint/6354 |
Available Versions of this Item
- Using Adaptive Distinguishing Sequences in Checking Sequence Constructions. (deposited 31 Oct 2007 09:36) [Currently Displayed]
Actions (login required)
- View Item