Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/11650
Title: | Generating minimum height ADSs for partially specified finite state machines |
Authors: | Hierons, RM Türker, UC |
Keywords: | Model based testing;Finite state machines;Adaptive distinguishing sequence |
Issue Date: | 2016 |
Publisher: | Springer International Publishing |
Citation: | Lecture Notes in Electrical Engineering, 363, pp. 171 - 179, ( 2016) |
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. |
URI: | http://link.springer.com/chapter/10.1007%2F978-3-319-22635-4_15 http://bura.brunel.ac.uk/handle/2438/11650 |
DOI: | http://dx.doi.org/10.1007/978-3-319-22635-4_15 |
ISBN: | 9783319226347 |
ISSN: | 1876-1100 1876-1119 |
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.