Normalised squeeziness and failed error propagation

Clark, D., Hierons, R. orcid.org/0000-0002-4771-1446 and Patel, K. (2019) Normalised squeeziness and failed error propagation. Information Processing Letters, 149. pp. 6-9. ISSN 0020-0190

Abstract

Metadata

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

© 2019 Elsevier. This is an author produced version of a paper subsequently published in Information Processing Letters. 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: Software engineering; formal methods; software testing; fault masking
Dates:
  • Published: September 2019
  • Published (online): 16 April 2019
  • Accepted: 12 April 2019
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 (EPSRC)
UNSPECIFIED
Depositing User: Symplectic Sheffield
Date Deposited: 29 Apr 2019 08:39
Last Modified: 15 Jul 2020 11:14
Status: Published
Publisher: Elsevier
Refereed: Yes
Identification Number: 10.1016/j.ipl.2019.04.001
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics


CORE (COnnecting REpositories)