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.
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
Frank Busse, Pritam Gharat, Cristian Cadar, Alastair Donaldson
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)
SnapFuzz: High-Throughput Fuzzing of Network Applications
Anastasios Andronidis, Cristian Cadar
ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022)
A Deterministic Memory Allocator for Dynamic Symbolic Execution
Daniel Schemmel, Julian Büning, Frank Busse, Martin Nowack, Cristian Cadar
36th European Conference on Object-Oriented Programming (ECOOP 2022)
CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively
Karine Even-Mendoza, Cristian Cadar, Alastair Donaldson
Empirical Software Engineering (EMSE 2022)
SaBRe: Load-time Selective Binary Rewriting
Paul-Antoine Arras, Anastasios Andronidis, Luís Pina, Karolis Mituzas, Qianyi Shu, Daniel Grumberg, Cristian Cadar
International Journal on Software Tools for Technology Transfer (STTT 2022)
Julien Vanegue, Bloomberg
Thursday, February 23rd, 2023, 3:00 pmDragana Milovančević, École Polytechnique Fédérale de Lausanne (EPFL)
Thursday, February 2nd, 2023, 11:00 am