MIDAS. FP7-STREP. Contract 318786. The subject of MIDAS (Model and Inference Driven, Automated testing of Services architectures) is an integrated framework for SOA testing automation that will be available as a Platform as a Service (PaaS) on a cloud infrastructure (2012-2015). The framework spans all the testing activities: test generation, execution, evaluation, planning and scheduling, on the functional, interaction, fault tolerance, security and usage-based testing aspects. The focus is on SOA testing, i.e. on black box testing of single services and on grey-box testing of services architectures. The test execution environment will be based on a distributed TTCN-3 runtime environment. The testing methods and technologies that are investigated and prototyped in the project are beyond the state of the art, particularly on model-based testing, model checking of choreographies for sound interaction test scenarios, fuzzing for security testing, usage-based testing, probabilistic inference reasoning about test evaluation, planning and scheduling. An important project objective is the pilot application of the MIDAS framework to two real-world services architectures, in the domains of healthcare and supply chain management.