Page 118 - 《软件学报》2025年第4期

1524 软件学报 2025 年第 36 卷第 4 期

[73] Google play. Wikipedia, 2023. https://en.wikipedia.org/wiki/Google_Play
[74] Yang Y, Wang X, Zhao CL, Bu ZL. Overview of Android GUI automated testing. Computer Science, 2022, 49(S2): 756–765 (in
Chinese with English abstract). [doi: 10.11896/jsjkx.210900231]
[75] Yu SC, Fang CR, Tuo ZY, Zhang QJ, Chen CY, Chen ZY, Su ZD. Vision-based mobile APP GUI testing: A survey. arXiv:2310.13518,
2023.
[76] UI/application exerciser monkey, Android studio. Android developers. 2023. https://developer.android.com/studio/test/other-testing-
tools/monkey
[77] Machiry A, Tahiliani R, Naik M. Dynodroid: An input generation system for Android APPs. In: Proc. of the 9th Joint Meeting on
Foundations of Software Engineering. Saint Petersburg: ACM, 2013. 224–234. [doi: 10.1145/2491411.2491450]
[78] Hao S, Liu B, Nath S, Halfond WGJ, Govindan R. PUMA: Programmable UI-automation for large-scale dynamic analysis of mobile
APPs. In: Proc. of the 12th Annual Int’l Conf. on Mobile Systems, Applications, and Services. Bretton: ACM, 2014. 204–217. [doi: 10.
1145/2594368.2594390]
[79] Yang W, Prasad MR, Xie T. A grey-box approach for automated GUI-model generation of mobile applications. In: Proc. of the 16th Int’l
Conf. on Fundamental Approaches to Software Engineering. Rome: Springer, 2013. 250–265. [doi: 10.1007/978-3-642-37057-1_19]
[80] Choi W, Necula G, Sen K. Guided GUI testing of Android APPs with minimal restart and approximate learning. In: Proc. of the 2013

ACM SIGPLAN Int’l Conf. on Object Oriented Programming Systems Languages & Applications. Indianapolis: ACM, 2013. 623–640.
[doi: 10.1145/2509136.2509552]
[81] Mirzaei N, Garcia J, Bagheri H, Sadeghi A, Malek S. Reducing combinatorics in GUI testing of Android applications. In: Proc. of the
38th Int’l Conf. on Software Engineering. Austin: ACM, 2016. 559–570. [doi: 10.1145/2884781.2884853]
[82] Li YC, Yang ZY, Guo Y, Chen XQ. DroidBot: A lightweight UI-guided test input generator for Android. In: Proc. of the 39th
IEEE/ACM Int’l Conf. on Software Engineering Companion (ICSE-C). Buenos Aires: IEEE, 2017. 23–26. [doi: 10.1109/ICSE-C.2017.8]
[83] Su T, Meng GZ, Chen YT, Wu K, Yang WM, Yao Y, Pu GG, Liu Y, Su ZD. Guided, stochastic model-based GUI testing of Android
APPs. In: Proc. of the 11th Joint Meeting on Foundations of Software Engineering. Paderborn: ACM, 2017. 245–256. [doi: 10.1145/
3106237.3106298]
[84] Gibbs sampling. Wikipedia, 2023. https://en.wikipedia.org/wiki/Gibbs_sampling
[85] Gu TX, Sun CN, Ma XX, Cao C, Xu C, Yao Y, Zhang QR, Lu J, Su ZD. Practical GUI testing of Android applications via model
abstraction and refinement. In: Proc. of the 41st IEEE/ACM Int’l Conf. on Software Engineering (ICSE). Montreal: IEEE, 2019.
269–280. [doi: 10.1109/ICSE.2019.00042]
[86] Cai TQ, Zhang Z, Yang P. Fastbot: A multi-agent model-based test generation system. In: Proc. of the 1st IEEE/ACM Int’l Conf. on
Automation of Software Test. Seoul: ACM, 2020. 93–96. [doi: 10.1145/3387903.3389308]
[87] Wang J, Jiang YY, Xu C, Cao C, Ma XX, Lu J. ComboDroid: Generating high-quality test inputs for Android APPs via use case
combinations. In: Proc. of the 42nd ACM/IEEE Int’l Conf. on Software Engineering. Seoul: ACM, 2020. 469–480. [doi: 10.1145/
3377811.3380382]
[88] Liu Z, Chen CY, Wang JJ, Huang YK, Hu J, Wang Q. Guided bug crush: Assist manual GUI testing of Android APPs via hint moves.
In: Proc. of the 2022 CHI Conf. on Human Factors in Computing Systems. New Orleans: ACM, 2022. 557. [doi: 10.1145/
3491102.3501903]
[89] Anand S, Naik M, Harrold MJ, Yang H. Automated concolic testing of smartphone APPs. In: Proc. of the 20th ACM SIGSOFT Int’l
Symp. on the Foundations of Software Engineering. Cary: ACM, 2012. 59. [doi: 10.1145/2393596.2393666]
[90] Amalfitano D, Fasolino AR, Tramontana P, De Carmine S, Memon AM. Using GUI ripping for automated testing of Android
applications. In: Proc. of the 27th IEEE/ACM Int’l Conf. on Automated Software Engineering. Essen: ACM, 2012. 258–261. [doi: 10.
1145/2351676.2351717]
[91] Azim T, Neamtiu I. Targeted and depth-first exploration for systematic testing of Android APPs. In: Proc. of the 2013 ACM SIGPLAN
Int’l Conf. on Object Oriented Programming Systems Languages & Applications. Indianapolis: ACM, 2013. 641–660. [doi: 10.1145/
2509136.2509549]
[92] Mahmood R, Mirzaei N, Malek S. EvoDroid: Segmented evolutionary testing of Android APPs. In: Proc. of the 22nd ACM SIGSOFT
Int’l Symp. on Foundations of Software Engineering. Hong Kong: ACM, 2014. 599–609. [doi: 10.1145/2635868.2635896]
[93] Mao K, Harman M, Jia Y. Sapienz: Multi-objective automated testing for Android applications. In: Proc. of the 25th Int’l Symp. on
Software Testing and Analysis. Saarbrücken: ACM, 2016. 94–105. [doi: 10.1145/2931037.2931054]
[94] Dong Z, Böhme M, Cojocaru L, Roychoudhury A. Time-travel testing of Android APPs. In: Proc. of the 42nd ACM/IEEE Int’l Conf. on
Software Engineering. Seoul: ACM, 2020. 481–492. [doi: 10.1145/3377811.3380402]