Sumner, William

Automated Program Hardening via Hoisted Privilege Reductions

Examining the Impact of Propagating and Partitioning for Mutation Analysis of C Programs

Undefined Behaviour in Mutation Testing