This document summarizes an approach to automated testing of large, multi-language software systems using cloud computing. It discusses applying a lightweight, model-based test generation and execution approach to several NASA projects, including GMSEC, Core Flight Software, Space Network, and Mars Science Laboratory. Models of system APIs and interfaces are developed and used to automatically generate test cases, finding bugs. The approach has been successfully transferred to other teams and is being applied to additional complex NASA systems.