The continuous demand for ever more complex software systems and the emergence of novel AI capabilities and 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 errors, and allowing applications to survive critical errors. Our research spans the areas of software engineering, AI agents, testing, verification, and cybersecurity, and has been generously sponsored over the years by the UK Engineering and Physical Sciences Research Council (EPSRC), European Research Council (ERC), National Research Foundation Singapore (NRF), DSO National Laboratories, Google, Microsoft Research and Arm.
Agentic Orchestration for Hybrid Fuzzing
Zhengxiong Luo, Huan Zhao, Mehtab Zafar, Cristian Cadar, Abhik Roychoudhury
Network and Distributed System Security Symposium (NDSS 2027)
Repair-Driven Greybox Fuzzing
Bachir Bendrissou, Alastair Donaldson, Cristian Cadar
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026)
Agentic Concolic Execution
Zhengxiong Luo, Huan Zhao, Dylan Wolff, Cristian Cadar, Abhik Roychoudhury
IEEE Symposium on Security and Privacy (IEEE S&P 2026)
Effective Fuzzing within CI/CD Pipelines
Arindam Sharma, Cristian Cadar, Jonathan Metzman
ACM Transactions on Software Engineering and Methodology (TOSEM 2026)
When You Have a Fuzzer, Everything Looks Like a Reachability Problem
Alastair Donaldson, Cristian Cadar, Manuel Carrasco, Dan Iorga, Daniel Liew, John Wickerson
International Conference on Reachability Problems
Ahmed Zaki
Friday, July 10th, 2026, 1:30 pmPhil McMinn, University of Sheffield
Friday, July 10th, 2026, 11:00 am