A repository of automatic GUI test patterns in Android applications: Specification and Analysis using Alloy modeling language. - Fatemeh Mosayeb; Shohreh Ajoudanian (CoRR, 2022)