SPYH-method: an Improvement in Testing of Finite-State Machines

Soucha, M. and Bogdanov, K. (2018) SPYH-method: an Improvement in Testing of Finite-State Machines. In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Advances in Model Based Testing (A-MOST) 2018, 13 Apr 2018, Västerås, Sweden. IEEE , pp. 194-203. ISBN 978-1-5386-6352-3

Abstract

Metadata

Authors/Creators:
  • Soucha, M.
  • Bogdanov, K.
Copyright, Publisher and Additional Information: © 2018 IEEE. This is an author produced version of a paper subsequently published in 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW). Uploaded in accordance with the publisher's self-archiving policy.
Keywords: model-based testing; finite-state machines; software testing
Dates:
  • Accepted: 19 February 2018
  • Published (online): 19 July 2018
  • Published: 19 July 2018
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: 16 May 2018 12:12
Last Modified: 02 Oct 2018 12:12
Published Version: https://doi.org/10.1109/ICSTW.2018.00050
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number: https://doi.org/10.1109/ICSTW.2018.00050

Share / Export

Statistics