KATCH received the Distinguished Artifact award at ESEC/FSE 2013.
Our CAV 2013 paper on multi-solver support in symbolic execution is now available online.
The CACM article on symbolic execution for software testing is now available online.
Our ICSE 2013 paper on safe software updates via multi-version execution is now available online.
Daniel Liew has joined both the Software Reliability Group and the Multicore Programming Group as a new doctoral student.
Tomasz Kuchta has joined our group as a new doctoral student.
Our ICSE 2012 paper on improving regression testing via symbolic execution is now available online.
A new PhD position funded by Microsoft Research is available in our group. Please click here for details.
Our HVC 2011 paper on symbolic testing of OpenCL code is now available online.
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.
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.
Petr Hosek was awarded a Google European Doctoral Fellowship in Software Engineering.