A Test Design Method for Resilient System on Cloud Infrastructure | IEEE Conference Publication | IEEE Xplore