Automatic verification for plural virtual machines patches | IEEE Conference Publication | IEEE Xplore