Daniel Liew, Daniel Schemmel, Cristian Cadar, Rafael Zähl, Alastair Donaldson, Klaus Wehrle
This paper was awarded “Best experience paper” at ASE2017.
Daniel Liew, Cristian Cadar, Alastair Donaldson
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Presented at the Department of Computing (Imperial College) Google poster competition 2014. It won first prize in the second year PhD student category.