Hao Shi Abdulla Alwabel Jelena Mirkovic Cardinal Pill Testing of System Virtual Machines. 271-285 2014 USENIX Security Symposium https://www.usenix.org/conference/usenixsecurity14/technical-sessions/presentation/shi conf/uss/2014 db/conf/uss/uss2014.html#ShiAM14