Please use this identifier to cite or link to this item: http://buratest.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 SizeFormat 
Fulltext.pdf277.51 kBUnknownView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.