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.
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Timotej Kapus, Martin Nowack, Cristian Cadar
Conference on Tests and Proofs (TAP 2019)
Compiler Fuzzing: How Much Does It Matter?
Michael Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar
Proceedings of the ACM on Programming Languages (OOPSLA 2019)
Just Fuzz It: Solving Floating-point Constraints Using Coverage-guided Fuzzing
Daniel Liew, Cristian Cadar, Alastair Donaldson, J. Ryan Stinnett
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
A Segmented Memory Model for Symbolic Execution
European Software Engineering Conference / ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2019)
Computing Summaries of String Loops in C for Better Testing and Refactoring
Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Cristian Cadar
ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019)
Earl Barr, University College London
Monday, November 18th, 2019, 11:00 amMichaël Marcozzi, Imperial College London
Monday, October 14th, 2019, 11:00 am