The central theme of my research is the design and application of source code analysis and transformation techniques. These form the foundation of tool support for quality assurance problems as pressing as bug detection, validation of an implementation with respect to its design, and program repair.