1) The document describes an approach for automated testing of large multi-language software systems using cloud computing. 2) Key aspects of the approach include generating test cases from models of software APIs and interfaces and executing them using tools like JUnit and Selenium. 3) The approach was applied to test portions of NASA software like GMSEC and CFS, and was able to find bugs not discovered with manual testing.