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

  • Fuzzing: Challenges and Reflections

    Marcel Böhme, Cristian Cadar, Abhik Roychoudhury

    IEEE Software (2021)

  • Past-Sensitive Pointer Analysis for Symbolic Execution

    David Trabish, Timotej Kapus, Noam Rinetzky, Cristian Cadar

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

  • Closer to the Edge: Testing Compilers More Thoroughly by Being Less Conservative About Undefined Behaviour

    Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson

    IEEE/ACM International Conference on Automated Software Engineering, New Ideas and Emerging Results Track (ASE-NIER 2020)

  • Pending Constraints in Symbolic Execution for Better Exploration and Seeding

    Timotej Kapus, Frank Busse, Cristian Cadar

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

  • Running Symbolic Execution Forever

    Frank Busse, Martin Nowack, Cristian Cadar

    ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)

View all publications »


Full seminar list »