Automated, Cost-effective, and Update-driven App Testing

ATUA is a model-based approach that synthesizes App models with static analysis, integrates a dynamically-refined state abstraction function, and combines complementary testing strategies, including (1) coverage of the model structure, (2) coverage of the App code, (3) random exploration, and (4) coverage of dependencies identified through information retrieval. More information can be found at https://arxiv.org/abs/2012.02471.

This repository contains the replicability package for the evaluation conducted in the paper.