The University of Sheffield is ranked in the top 10 of the Russell Group of leading UK research-intensive universities, and was voted University of the Year in the 2011 Times Higher Education awards. The Verification and Testing research group in the Department of Computer Science has a long track record in developing rigorous theories and integrating them into practical software development techniques and methods. It is the largest UK research group working on software testing, emphasising practical methods for industry that are suitable for complex systems.The Verification and Testing group will contribute to the actions to advance the state of the art in mechanisms for cloud service governance and quality control. The group will take the lead in developing lightweight state-based specifications for services, and an associated automated functional testing method that offers complete test coverage. It will develop techniques to support the validation of services that are subject to continuous upgrades, migration to new platforms and substitution by compatible services. It will support other actions to develop compliance testing and continuous monitoring, led by SEERC.