Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/11650
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Türker, UC | - |
dc.date.accessioned | 2015-11-25T12:35:59Z | - |
dc.date.available | 2016-01-01 | - |
dc.date.available | 2015-11-25T12:35:59Z | - |
dc.date.issued | 2016 | - |
dc.identifier.citation | Lecture Notes in Electrical Engineering, 363, pp. 171 - 179, ( 2016) | en_US |
dc.identifier.isbn | 9783319226347 | - |
dc.identifier.issn | 1876-1100 | - |
dc.identifier.issn | 1876-1119 | - |
dc.identifier.uri | http://link.springer.com/chapter/10.1007%2F978-3-319-22635-4_15 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/11650 | - |
dc.description.abstract | In earlier work, the problem of generating a preset distinguishing sequence from a finite state machine (FSM) was converted into a Boolean formulae to be fed into a SAT solver, with experiments suggesting that such approaches are required as the size of input alphabet grows. In this paper we extend the approach to the minimum height adaptive distinguishing sequence construction problem for partially specified FSMs (PSFMSs), which is known to be an NP- Hard problem. The results of experimentswith randomly generated PSFSMs and case studies from the literature show that SAT solvers can perform better than a previously proposed brute-force algorithm. | en_US |
dc.description.sponsorship | The Scientific and Technological Research Council of Turkey under the grant reference no B.14.2.TBT.0.06.01-219-115543. | en_US |
dc.format.extent | 171 - 179 | - |
dc.language.iso | en | en_US |
dc.publisher | Springer International Publishing | en_US |
dc.subject | Model based testing | en_US |
dc.subject | Finite state machines | en_US |
dc.subject | Adaptive distinguishing sequence | en_US |
dc.title | Generating minimum height ADSs for partially specified finite state machines | en_US |
dc.type | Conference Paper | en_US |
dc.identifier.doi | http://dx.doi.org/10.1007/978-3-319-22635-4_15 | - |
dc.relation.isPartOf | Lecture Notes in Electrical Engineering | - |
pubs.publication-status | Accepted | - |
pubs.publication-status | Accepted | - |
pubs.volume | 363 | - |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 277.51 kB | Unknown | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.