91ÌÒÉ«

Daniel Liew, Cristian Cadar and Alastair Donaldson win at ICST 2016

DoC PhD student , and his joint supervisors and , have been named as recipients of one of this year's Best Paper Awards at the , one of the top venues for publishing research in software testing.

The award is for their paper, , that describes the design and evaluation of a novel symbolic execution tool for analysing programs expressed in the intermediate language from Microsoft 91ÌÒÉ«. This enables efficient bug-finding for projects that use Boogie as an intermediate representation, including , the framework, the verifier, and the project, among several others.

Daniel Liew's PhD studies are supported by and via an studentship.