Research at Software Reliability Group

  • Home
  • Publications
  • People
  • Projects
  • Talks
  • Seminars
  • Vacancies

News

  • KATCH received the Distinguished Artifact award at ESEC/FSE 2013.

    12 years ago
  • The New Scientist covered our research on multi-version software updates.

    12 years ago
  • Our CAV 2013 paper on multi-solver support in symbolic execution is now available online.

    12 years ago
  • The CACM article on symbolic execution for software testing is now available online.

    12 years ago
  • Our ICSE 2013 paper on safe software updates via multi-version execution is now available online.

    12 years ago
  • Daniel Liew has joined both the Software Reliability Group and the Multicore Programming Group as a new doctoral student.

    12 years ago
  • Tomasz Kuchta has joined our group as a new doctoral student.

    13 years ago
  • Our ICSE 2012 paper on improving regression testing via symbolic execution is now available online.

    13 years ago
  • A new PhD position funded by Microsoft Research is available in our group. Please click here for details.

    13 years ago
  • Our HVC 2011 paper on symbolic testing of OpenCL code is now available online.

    13 years ago
  • Please consider submitting a paper to the Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2012). The submission deadline is January 27, 2012.

    13 years ago
  • A new postdoc position is available in our research group, to work on techniques for automatically testing, verifying and generating software patches using symbolic execution.

    13 years ago
  • Petr Hosek was awarded a Google European Doctoral Fellowship in Software Engineering.

    14 years ago

© 2009–2025 Software Reliability Group, Imperial College London