The continuous demand for ever more complex software systems and the emergence of new computing platforms pose significant challenges for the reliability and security of software applications. The research of the Software Reliability Group (SRG) 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, verifying the absence of certain types of bugs, 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, Microsoft Research and ARM.

Learn About Our Research

Latest Publications

  • Covrig: A Framework for the Analysis of Code, Test, and Coverage Evolution in Real Software

    Paul Dan Marinescu, Petr Hosek, Cristian Cadar

    International Symposium on Software Testing and Analysis (ISSTA 2014)

  • Shadow Symbolic Execution for Better Testing of Evolving Software

    Cristian Cadar, Hristina Palikareva

    International Conference on Software Engineering, New Ideas and Emerging Results (ICSE NIER 2014)

  • SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications

    JaeSeung Song, Cristian Cadar, Peter Pietzuch

    IEEE Transactions on Software Engineering (TSE 2014)

  • Symbolic Crosschecking of Data-Parallel Floating-Point Code

    Peter Collingbourne, Cristian Cadar, Paul H. J. Kelly

    IEEE Transactions on Software Engineering (TSE 2014)

  • KATCH: High-Coverage Testing of Software Patches

    Paul Dan Marinescu, Cristian Cadar

    European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013)

View all publications »

Seminars

Full seminar list »