A key barrier to cloud adoption is system resilience with regards to functionality, performance and security. Users sign a contract that holds providers accountable to the negotiated and desired level of service. We are investigating technologies spanning from static analysis and verification to online software bug detection and removal in cloud systems to lower the barrier for cloud adoption.