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

  • Floating-Point Symbolic Execution: A Case Study in N-version Programming

    Daniel Liew, Daniel Schemmel, Cristian Cadar, Alastair Donaldson, Rafael Zähl, Klaus Wehrle

    IEEE/ACM International conference on Automated Software Engineering (ASE 2017)

  • Automatic Testing of Symbolic Execution Engines via Program Generation and Differential Testing

    Timotej Kapus, Cristian Cadar

    IEEE/ACM International conference on Automated Software Engineering (ASE 2017)

  • Accelerating Array Constraints in Symbolic Execution

    David M. Perry, Andrea Mattavelli, Xiangyu Zhang, Cristian Cadar

    International Symposium on Software Testing and Analysis (ISSTA 2017)

  • A DSL Approach to Reconcile Equivalent Divergent Program Executions

    Luís Pina, Daniel Grumberg, Anastasios Andronidis, Cristian Cadar

    2017 USENIX Annual Technical Conference (USENIX ATC 2017)

  • Analysing the Program Analyser

    Cristian Cadar, Alastair Donaldson

    International Conference on Software Engineering, Visions of 2025 and Beyond Track (ICSE V2025)

View all publications »


Full seminar list »