MuVM: Higher Order Mutation Analysis Virtual Machine for C | IEEE Conference Publication | IEEE Xplore