Daniel Liew, Cristian Cadar and Alastair Donaldson win at ICST 2016
DoC PhD student Daniel Liew, and his joint supervisors Cristian Cadar and Alastair Donaldson, have been named as recipients of one of this year's Best Paper Awards at the IEEE International Conference on Software Testing, Verification and Validation (ICST), one of the top venues for publishing research in software testing.
The award is for their paper, Symbooglix: A Symbolic Execution Engine for Boogie Programs, that describes the design and evaluation of a novel symbolic execution tool for analysing programs expressed in the Boogie intermediate language from Microsoft Research. This enables efficient bug-finding for projects that use Boogie as an intermediate representation, including Microsoft's Static Driver Verifier, the SMACK framework, the Dafny verifier, and the GPUVerify project, among several others.
Article text (excluding photos or graphics) available under an Attribution-NonCommercial-ShareAlike Creative Commons license.
Photos and graphics subject to third party copyright used with permission or © Imperial College London.