RLDroid

This repository contains the source code of RLDroid, the evaluation detail and the dataset in our experiments.

Examples

Partial UTG of AnkiDroid

Partial UTG of Glucosio

How to use RLDroid

Prerequisites

• Java 8 at least
• Android SDK 25 at least
• Android Debug Bridge(ADB)
• Python 3.9
• Uiautomator 2
• Intellij IDEA or Maven
• Android emulator 7.1

Usage

• Start the emulator and the app to be tested.
• Open the "SeedUTGConstruction" directory with Intellij IDEA and run the main method to build the seed UTG. You can also use maven to build this module: mvn compile.
• Run the dynamic exploration using python3 utgrunner.py to build the final UTG.