Incomplete adaptive distinguishing sequences for non-deterministic FSMs

Turker, U.C., Hierons, R.M. orcid.org/0000-0002-4771-1446, Barlas, G. et al. (1 more author) (2023) Incomplete adaptive distinguishing sequences for non-deterministic FSMs. IEEE Transactions on Software Engineering, 49 (9). pp. 4371-4389. ISSN 0098-5589

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2023 The Author(s). Except as otherwise noted, this author-accepted version of a journal article published in IEEE Transactions on Software Engineering is made available via the University of Sheffield Research Publications and Copyright Policy under the terms of the Creative Commons Attribution 4.0 International License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/

Keywords: Software engineering/software/program verification; software engineering/testing and debugging; software engineering/test design; non-deterministic finite state machines; adaptive distinguishing sequences/tests
Dates:
  • Published: September 2023
  • Published (online): 5 July 2023
  • Accepted: 26 June 2023
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
Funder
Grant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL
EP/R025134/2
Engineering and Physical Sciences Research Council
EP/V026801/2
Depositing User: Symplectic Sheffield
Date Deposited: 05 Jul 2023 15:41
Last Modified: 04 Oct 2024 13:44
Status: Published
Publisher: Institute of Electrical and Electronics Engineers
Refereed: Yes
Identification Number: 10.1109/TSE.2023.3291137
Open Archives Initiative ID (OAI ID):

Export

Statistics