Wei Yang, Mukul R. Prasad, Tao Xie: A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications. FASE 2013: 250-265