Static window transition graphs for Android. - Shengqian Yang; Haowei Wu; Hailong Zhang 006; Yan Wang; Chandrasekar Swaminathan; Dacong Yan; Atanas Rountev (Autom. Softw. Eng., 2018)