TY  - GEN
N2  - 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.
ID  - discovery10058916
PB  - Springer
UR  - https://doi.org/10.1007/978-3-319-92970-5_1
SN  - 1611-3349
CY  - Cham, Switzerland
T3  - Lecture Notes in Computer Science
A1  - Harman, M
TI  - We Need a Testability Transformation Semantics
AV  - public
SP  - 3
Y1  - 2018///
EP  - 17
N1  - This version is the author accepted manuscript. For information on re-use, please refer to the publisher?s terms and conditions.
ER  -