@inproceedings{discovery10058916,
          series = {Lecture Notes in Computer Science},
       publisher = {Springer},
           title = {We Need a Testability Transformation Semantics},
            year = {2018},
         journal = {SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2018},
          volume = {10886},
         address = {Cham, Switzerland},
            note = {This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions.},
           pages = {3--17},
       booktitle = {Software Engineering and Formal Methods},
          editor = {EB Johnsen and I Schaefer},
             url = {https://doi.org/10.1007/978-3-319-92970-5\%5f1},
            issn = {1611-3349},
          author = {Harman, M},
        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.}
}