%0 Generic
%A Harman, M
%C Cham, Switzerland
%D 2018
%E Johnsen, EB
%E Schaefer, I
%F discovery:10058916
%I Springer
%P 3-17
%T We Need a Testability Transformation Semantics
%U https://discovery.ucl.ac.uk/id/eprint/10058916/
%V 10886
%X 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.
%Z This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.