FSM quasi-equivalence testing via reduction and observing absence

Hierons, R. orcid.org/0000-0002-4771-1446 (2019) FSM quasi-equivalence testing via reduction and observing absence. Science of Computer Programming. ISSN 0167-6423

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2019 Elsevier. This is an author produced version of a paper subsequently published in Science of Computer Programming. Uploaded in accordance with the publisher's self-archiving policy. Article available under the terms of the CC-BY-NC-ND licence (https://creativecommons.org/licenses/by-nc-nd/4.0/).
Keywords: Conformance testing; Partial finite state machine; Testing for equivalence; Observable finite state machine
Dates:
  • Accepted: 12 March 2019
  • Published (online): 18 March 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 26 Mar 2019 09:29
Last Modified: 26 Mar 2019 09:29
Status: Published online
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.scico.2019.03.004

Download

Accepted Version


Embargoed until: 18 March 2020

Filename: FSM_EQUIV.pdf

Licence: CC-BY-NC-ND 4.0

Request a copy

Share / Export

Statistics