I am also known for work on source code analysis and testing. In 1997 I introduced Amorphous Slicing, a way of reducing program size by focussing upon a point of interest within a program. Amorphous slicing has been studied and developed by many universities and research institutes and has been incorporated into industrial tools. The work originated in the EPSRC project GUSTT for which I was the PI and which was rated outstanding on completion. Work on amorphous slicing has since been funded by other bodies and companies including the NSF in the USA. Between 2002 and 2004 I developed the theory and practice of Testability Transformation, a method for improving software testing by transforming the system under test. My work on Testability Transformation was funded by the EPSRC project of the same name which I led and which was ranked number one by the panel that considered it. It was also funded by two development grants from DaimlerChrysler in Berlin. This work is now being developed by several academic and industrial sites in Europe, the USA and the Far East. The work also led to the development of the Vada variable dependence analysis tool, which as used by DaimlerChrysler and others in the optimization of their software testing process. I have given invited keynotes on Testability Transformation in 2007, 2008 and 2011.