Random GUI Testing of Android Application Using Behavioral Model. - Woramet Muangsiri; Shingo Takada 001 (Int. J. Softw. Eng. Knowl. Eng., 2017)