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.
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 |
Archive Staff Only
 |
View Item |
