TY - RPRT TI - A repository of automatic GUI test patterns in Android applications: Specification and Analysis using Alloy modeling language AU - Fatemeh Mosayeb AU - Shohreh Ajoudanian PY - 2022 UR - https://arxiv.org/abs/2209.01741 ID - 2209.01741 ER -