%B Software Engineering and Formal Methods
%S Lecture Notes in Computer Science
%P 3-17
%I Springer
%E EB Johnsen
%E I Schaefer
%J SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018
%C Cham, Switzerland
%L discovery10058916
%V 10886
%T We Need a Testability Transformation Semantics
%D 2018
%O This version is the author accepted manuscript. For information on re-use, please refer to the publisher’s terms and conditions.
%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.
%A M Harman