The continuous demand for ever more complex software systems and the emergence of more powerful computing platforms pose significant challenges for the reliability and security of software applications. The research of the Software Reliability Group at Imperial College London focuses on designing novel techniques for improving the quality and dependability of software, with an emphasis on building practical tools for automatically finding software bugs, generating high-quality test suites and allowing applications to survive critical errors. Our research spans the areas of software engineering, software testing, computer systems and computer security, and is generously sponsored by the UK Engineering and Physical Sciences Research Council (EPSRC), Google and Microsoft Research.