Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/4120
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Jourdan, GV | - |
dc.contributor.author | Ural, H | - |
dc.contributor.author | Yenigun, H | - |
dc.date.accessioned | 2010-02-19T12:08:58Z | - |
dc.date.available | 2010-02-19T12:08:58Z | - |
dc.date.issued | 2009 | - |
dc.identifier.citation | Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on, Hanoi, November 2009. pp. 157-166 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/4120 | - |
dc.description.abstract | Methods for testing from finite state machine-based specifications often require the existence of a preset distinguishing sequence for constructing checking sequences. It has been shown that an adaptive distinguishing sequence is sufficient for these methods. This result is significant because adaptive distinguishing sequences are strictly more common and up to exponentially shorter than preset ones. However, there has been no study on the actual effect of using adaptive distinguishing sequences on the length of checking sequences. This paper describes experiments that show that checking sequences constructed using adaptive distinguishing sequences are almost consistently shorter than those based on preset distinguishing sequences. This is investigated for three different checking sequence generation methods and the results obtained from an extensive experimental study are given. | en |
dc.language.iso | en | en |
dc.publisher | IEEE | en |
dc.title | Checking sequence construction using adaptive and preset distinguishing sequences | en |
dc.type | Conference Paper | en |
dc.identifier.doi | http://dx.doi.org/10.1109/SEFM.2009.12 | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 345.66 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.