T-BASIR: Finding Shutdown Bugs for Cloud-Based Applications in Cloud Spot Markets | IEEE Journals & Magazine | IEEE Xplore