The continuous demand for ever more complex software systems and the emergence of more powerful computing platforms pose significant challenges for the reliability and security of software applications. The research of the Software Reliability Group 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 and allowing applications to survive critical errors. Our research spans the areas of software engineering, software testing, computer systems and computer security, and is generously sponsored by the UK Engineering and Physical Sciences Research Council (EPSRC), Google and Microsoft Research.
News
The CACM article on symbolic execution for software testing is now available online.
Monday, April 15th, 2013Our ICSE 2013 paper on safe software updates via multi-version execution is now available online.
Wednesday, March 6th, 2013Daniel Liew has joined both the Software Reliability Group and the Multicore Programming Group as a new doctoral student.
Monday, January 14th, 2013
Seminars
-
Safe Software Updates via Multi-version Execution by Petr Hosek, Imperial College London
Wednesday, May 15th, 2013, 11:00 am -
Symbolic Execution of Distributed Systems by Raimondas Sasnauskas, RWTH Aachen University
Friday, April 19th, 2013, 12:00 pm -
Collaborative Verification and Testing with Explicit Assumptions by Maria Christakis, ETH Zurich
Monday, February 25th, 2013, 2:00 pm
Latest Publications
-
Safe Software Updates via Multi-version Execution
International Conference on Software Engineering (ICSE 2013)
-
Symbolic Execution for Software Testing: Three Decades Later
Cristian Cadar, Koushik Sen
Communications of the Association for Computing Machinery (CACM)
-
High-Coverage Symbolic Patch Testing
Paul Dan Marinescu, Cristian Cadar
International SPIN Workshop on Model Checking of Software (SPIN 2012)
-
Multi-Version Software Updates
Workshop on Hot Topics in Software Upgrades (HotSWUp 2012),
-
make test-zesti: A Symbolic Execution Solution for Improving Regression Testing
Paul Dan Marinescu, Cristian Cadar
International Conference on Software Engineering (ICSE 2012)