Let The Puppets Move! Automated Testbed Generation for Service-oriented Mobile Applications