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 has been generously sponsored by the UK Engineering and Physical Sciences Research Council (EPSRC), DSO, Google, Microsoft Research and ARM.

Learn About Our Research

Latest Publications

  • PARTI: A Multi-interval Theory Solver for Symbolic Execution

    Oscar Soria Dustmann, Klaus Wehrle, Cristian Cadar

    IEEE/ACM International Conference on Automated Software Engineering (ASE 2018)

  • Shadow Symbolic Execution for Testing Software Patches

    Tomasz Kuchta, Hristina Palikareva, Cristian Cadar

    ACM Transactions on Software Engineering and Methodology (TOSEM 2018)

  • Chopped Symbolic Execution

    David Trabish, Andrea Mattavelli, Noam Rinetzky, Cristian Cadar

    International Conference on Software Engineering (ICSE 2018)

  • FreeDA: Deploying Incompatible Stock Dynamic Analyses in Production via Multi-Version Execution

    Luís Pina, Anastasios Andronidis, Cristian Cadar

    ACM International Conference on Computing Frontiers (CF 2018)

  • On the correctness of electronic documents: studying, finding, and localizing inconsistency bugs in PDF readers and files

    Tomasz Kuchta, Thibaud Lutellier, Edmund Wong, Lin Tan, Cristian Cadar

    Empirical Software Engineering (EMSE 2018)

View all publications »


Full seminar list »