资 源 简 介
The project support the transformations between these formats:
- GUI tree format, obtained by android-crawler after the crawling of the GUI of an Android activity-based applications;
- EFG format corresponding to the GUI one;
- JUnit format of executable tests corresponding to all (or a selection of) the navigations collected via crawler
