Using Squeeziness to test component-based systems defined as Finite State Machines

Alberto, I., Hierons, R. orcid.org/0000-0002-4771-1446 and Manuel, N. (2019) Using Squeeziness to test component-based systems defined as Finite State Machines. Information and Software Technology, 112. pp. 132-147. ISSN 0950-5849

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2019 Elsevier. This is an author-produced version of a paper subsequently published in Information and Software Technology. 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/).
Dates:
  • Accepted: 23 April 2019
  • Published (online): 24 April 2019
  • Published: August 2019
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Funding Information:
FunderGrant number
ENGINEERING AND PHYSICAL SCIENCE RESEARCH COUNCIL (EPSRC)UNSPECIFIED
Depositing User: Symplectic Sheffield
Date Deposited: 08 May 2019 15:38
Last Modified: 20 Jul 2020 12:41
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: https://doi.org/10.1016/j.infsof.2019.04.012
Related URLs:

Share / Export

Statistics