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 over the years by the UK Engineering and Physical Sciences Research Council (EPSRC), the European Research Council (ERC), DSO, Google, Microsoft Research and Arm.

Learn About Our Research

Latest Publications

  • AI for Program Verification

    Cristian Cadar, Abhik Roychoudhury

    AI4X Conference 2025

  • Understanding API Usage and Testing: An Emprirical Study of C Libraries

    Ahmed Zaki, Cristian Cadar

    International Conference on Evaluation and Assessment in Software Engineering (EASE 2025)

  • Scalable SMT Sampling for Floating-Point Formulas via Coverage-Guided Fuzzing

    Manuel Carrasco, Cristian Cadar, Alastair Donaldson

    IEEE International Conference on Software Testing, Verification, and Validation (ICST 2025)

  • Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study

    Ahmed Zaki, Arindam Sharma, Cristian Cadar

    IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2025)

  • Code, Test and Coverage Evolution in Mature Software Systems: Changes over the Past Decade

    Thomas Bailey, Cristian Cadar

    IEEE International Conference on Software Testing, Verification, and Validation (ICST 2025)

View all publications »

Seminars

Full seminar list »