Modelling second-order uncertainty in state machines

Walkinshaw, N. and Hierons, R. orcid.org/0000-0002-4771-1446 (2023) Modelling second-order uncertainty in state machines. IEEE Transactions on Software Engineering, 49 (5). pp. 3261-3276. ISSN 0098-5589

Abstract

Metadata

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

© 2023 The Authors. 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: State machine; Second order uncertainty; Subjective logic; Inference; Test prioritization
Dates:
  • Published: 1 May 2023
  • Published (online): 2 March 2023
  • Accepted: 20 February 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/T030526/1
Depositing User: Symplectic Sheffield
Date Deposited: 03 Mar 2023 16:15
Last Modified: 04 Sep 2023 13:53
Status: Published
Publisher: Institute of Electrical and Electronics Engineers
Refereed: Yes
Identification Number: 10.1109/TSE.2023.3250835
Open Archives Initiative ID (OAI ID):

Export

Statistics