?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.title=We+Need+a+Testability+Transformation+Semantics&rft.creator=Harman%2C+M&rft.description=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%2C+France%3B+27th%E2%80%9329th+June+2018.)+briefly+reviews+Testability+Transformation%2C+its+formal+definition%2C+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.&rft.publisher=Springer&rft.contributor=Johnsen%2C+EB&rft.contributor=Schaefer%2C+I&rft.date=2018&rft.type=Proceedings+paper&rft.publisher=16th+International+Conference+on+Software+Engineering+and+Formal+Methods+(SEFM)+Held+as+Part+of+Conference+on+Software+Technologies+-+Applications+and+Foundations+(STAF)&rft.language=eng&rft.source=+++++In%3A+Johnsen%2C+EB+and+Schaefer%2C+I%2C+(eds.)+Software+Engineering+and+Formal+Methods.++(pp.+pp.+3-17).++Springer%3A+Cham%2C+Switzerland.+(2018)+++++&rft.format=text&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10058916%2F7%2FHarman_We-Need-a-Testability-Transformation-Semantics.pdf&rft.identifier=https%3A%2F%2Fdiscovery.ucl.ac.uk%2Fid%2Feprint%2F10058916%2F&rft.rights=open