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), the European Research Council (ERC), DSO, Google, Microsoft Research and ARM.
Running Symbolic Execution Forever
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020)
KLEE Symbolic Execution Engine in 2019
International Journal on Software Tools for Technology Transfer (2020)
Fine-grain Memory Object Representation in Symbolic Execution
IEEE/ACM International Conference on Automated Software Engineering (ASE 2019)
Compiler Fuzzing: How Much Does It Matter?
Proceedings of the ACM on Programming Languages (OOPSLA 2019)
Constraints in Dynamic Symbolic Execution: Bitvectors or Integers?
Conference on Tests and Proofs (TAP 2019)
Sébastien Bardin, CEA LIST, Paris-SaclayThursday, February 20th, 2020, 2:00 pm
Daniel Jackson, CSAIL, MITTuesday, January 21st, 2020, 11:00 am