UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

We Need a Testability Transformation Semantics

Harman, M; (2018) We Need a Testability Transformation Semantics. In: Johnsen, EB and Schaefer, I, (eds.) Software Engineering and Formal Methods. (pp. pp. 3-17). Springer: Cham, Switzerland. Green open access

[thumbnail of Harman_We-Need-a-Testability-Transformation-Semantics.pdf]
Preview
Text
Harman_We-Need-a-Testability-Transformation-Semantics.pdf - Accepted Version

Download (355kB) | Preview

Abstract

This paper (This paper is a brief outline of some of the content of the keynote by the author at the 16th International Conference on Software Engineering and Formal Methods (SEFM 2018) in Toulouse, France; 27th–29th June 2018.) briefly reviews Testability Transformation, its formal definition, and the open problem of constructing a set of formal test adequacy semantics to underpin the current practice of deploying transformations to help testing and verification activities.

Type: Proceedings paper
Title: We Need a Testability Transformation Semantics
Event: 16th International Conference on Software Engineering and Formal Methods (SEFM) Held as Part of Conference on Software Technologies - Applications and Foundations (STAF), 27–29 June 2018, Toulouse, France
Location: Toulouse, FRANCE
Dates: 25 June 2018 - 29 June 2018
ISBN-13: 978-3-319-92969-9
Open access status: An open access version is available from UCL Discovery
DOI: 10.1007/978-3-319-92970-5_1
Publisher version: https://doi.org/10.1007/978-3-319-92970-5_1
Language: English
Additional information: This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
UCL classification: UCL
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: https://discovery.ucl.ac.uk/id/eprint/10058916
Downloads since deposit
157Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item