This collaboration is part of the WP3 and WP4. It focused on exploring static (T.3.3) and dynamic analysis techniques in the context of mobile applications. Particularly, we started developing a prototype for automatically analyzing (e.g., code and GUI) and instrumenting Android applications. These activities are expected to serve as building blocks for the work to be done on automated test generation. More concretely, we looked into how a state-of-the-art search-based test generation tool can be adapted to the mobile apps domain where both input and state space grow dramatically compared to traditional object-oriented code.

Additionally, we started preliminary development tasks to extend state-of-the-art search-based test generation tools to use the Robolectric framework for running tests on a simulator instead of using emulators (T.4.3). This would speed up the process of generation an allow both practitioners and researchers to try new techniques without being overly time consuming.