Mutation Testing Example for the Booster 2014 Conference