1. Brunel University Research Archive
  2. Research Areas
  3. Mathematical Sciences
Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/9988
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHierons, RM-
dc.contributor.authorTürker, UC-
dc.date.accessioned2015-01-28T13:00:34Z-
dc.date.available2015-01-28T13:00:34Z-
dc.date.issued2014-
dc.identifier.citationLNCS: 62 - 76, 2014en_US
dc.identifier.issn0302-9743-
dc.identifier.urihttp://link.springer.com/chapter/10.1007%2F978-3-319-06200-6_5-
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/9988-
dc.description.abstractDistinguishing Sequences (DSs) are used inmany Finite State Machine (FSM) based test techniques. Although Partially Specified FSMs (PSFSMs) generalise FSMs, the computational complexity of constructing Adaptive and Preset DSs (ADSs/PDSs) for PSFSMs has not been addressed. This paper shows that it is possible to check the existence of an ADS in polynomial time but the corresponding problem for PDSs is PSPACE-complete. We also report on the results of experiments with benchmarks and over 8 * 106 PSFSMs. © 2014 Springer International Publishing.en_US
dc.language.isoenen_US
dc.publisherSpringer Verlagen_US
dc.subjectDistinguishing Sequences (DSs)en_US
dc.subjectcomputational complexityen_US
dc.subjectAdaptive and Preset DSs (ADSs/PDSs)en_US
dc.titleDistinguishing sequences for partially specified FSMsen_US
dc.typeArticleen_US
dc.identifier.doihttp://dx.doi.org/10.1007/978-3-319-06200-6_5-
pubs.organisational-data/Brunel-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science-
pubs.organisational-data/Brunel/Brunel Staff by College/Department/Division/College of Engineering, Design and Physical Sciences/Dept of Computer Science/Computer Science-
pubs.organisational-data/Brunel/University Research Centres and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups/Centre for Research into Entrepreneurship, International Business and Innovation in Emerging Markets-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute for Ageing Studies-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute of Cancer Genetics and Pharmacogenomics-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Centre for Systems and Synthetic Biology-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups-
pubs.organisational-data/Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Multidisclipary Assessment of Technology Centre for Healthcare (MATCH)-
Appears in Collections:Mathematical Sciences

Files in This Item:
File Description SizeFormat 
llncs_submitted.pdf5.26 MBAdobe PDFView/Open
Show simple item record


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