Page 124 - 《软件学报》2025年第5期

2024 软件学报 2025 年第 36 卷第 5 期

[doi: 10.1109/32.988498]
[16] Jiang B, Wu YX, Li T, Chan WK. SimplyDroid: Efficient event sequence simplification for Android application. In: Proc. of the 32nd
IEEE/ACM Int’l Conf. on Automated Software Engineering. Urbana-Champaign: IEEE, 2017. 297–307.
[17] Clapp L, Bastani O, Anand S, Aiken A. Minimizing GUI event traces. In: Proc. of the 24th ACM SIGSOFT Int’l Symp. on Foundations
of Software Engineering. Seattle: ACM, 2016. 422–434. [doi: 10.1145/2950290.2950342]
[18] Sui YL, Zhang YF, Zheng W, Zhang MQ, Xue JL. Event trace reduction for effective bug replay of Android APPs via differential GUI
state analysis. In: Proc. of the 27th ACM Joint Meeting on European Software Engineering Conf. and Symp. on the Foundations of
Software Engineering. Tallinn: ACM, 2019. 1095–1099. [doi: 10.1145/3338906.3341183]
[19] Yan JW, Zhou H, Deng X, Wang P, Yan RJ, Yan J, Zhang J. Efficient testing of GUI applications by event sequence reduction. Science
of Computer Programming, 2021, 201: 102522. [doi: 10.1016/j.scico.2020.102522]
[20] Misherghi G, Su ZD. HDD: Hierarchical delta debugging. In: Proc. of the 28th Int’l Conf. on Software Engineering. Shanghai: ACM,
2006. 142–151. [doi: 10.1145/1134285.1134307]
[21] Herfert S, Patra J, Pradel M. Automatically reducing tree-structured test inputs. In: Proc. of the 32nd IEEE/ACM Int’l Conf. on
Automated Software Engineering. Urbana: IEEE, 2017. 861–871. [doi: 10.1109/ASE.2017.8115697]
[22] Regehr J, Chen Y, Cuoq P, Eide E, Ellison C, Yang XJ. Test-case reduction for C compiler bugs. In: Proc. of the 33rd ACM SIGPLAN
Conf. on Programming Language Design and Implementation. Beijing: ACM, 2012. 335–346. [doi: 10.1145/2254064.2254104]
[23] Kanstrén T, Chechik M. Trace reduction and pattern analysis to assist debugging in model-based testing. In: Proc. of the 2014 IEEE Int’l
Symp. on Software Reliability Engineering Workshops. Naples: IEEE, 2014. 238–243. [doi: 10.1109/ISSREW.2014.9]
[24] Wang J, Dou WS, Gao CS, Gao Y, Wei J. Context-based event trace reduction in client-side JavaScript applications. In: Proc. of the 11th
IEEE Int’l Conf. on Software Testing, Verification and Validation. Västerås: IEEE, 2018. 127–138. [doi: 10.1109/ICST.2018.00022]
[25] Gharachorlu G, Sumner N. Avoiding the familiar to speed up test case reduction. In: Proc. of the 18th IEEE Int’l Conf. on Software
Quality, Reliability and Security. Lisbon: IEEE, 2018. 426–437. [doi: 10.1109/QRS.2018.00056]
[26] Choi W, Sen K, Necul G, Wang WY. DetReduce: Minimizing Android GUI test suites for regression testing. In: Proc. of the 40th Int’l
Conf. on Software Engineering. Gothenburg: IEEE, 2018. 445–455. [doi: 10.1145/3180155.3180173]
[27] Jiang B, Wang XY, Xu HQ, Wang H, Zhang CY. Nondeterministic event sequence reduction for Android applications. In: Proc. of the
5th Int’l Conf. on Dependable Systems and Their Applications. Dalian: IEEE, 2018. 96–101. [doi: 10.1109/DSA.2018.00026]
[28] Reps T, Horwitz S, Sagiv M. Precise interprocedural dataflow analysis via graph reachability. In: Proc. of the 22nd ACM SIGPLAN-
SIGACT Symp. on Principles of Programming Languages. San Francisco: ACM, 1995. 49–61. [doi: 10.1145/199448.199462]
[29] Tan SH, Dong Z, Gao X, Roychoudhury A. Repairing crashes in Android APPs. In: Proc. of the 40th IEEE/ACM Int’l Conf. on Software
Engineering. Gothenburg: IEEE, 2018. 187–198. [doi: 10.1145/3180155.3180243]
[30] Pan MX, Xu TT, Pei Y, Li Z, Zhang T, Li XD. GUI-guided test script repair for mobile APPs. IEEE Trans. on Software Engineering,
2022, 48(3): 910–929. [doi: 10.1109/TSE.2020.3007664]
[31] Su T, Wang J, Su ZD. Benchmarking automated GUI testing for Android against real-world bugs. In: Proc. of the 29th ACM Joint
Meeting on European Software Engineering Conf. and Symp. on the Foundations of Software Engineering. Athens: ACM, 2021.
119–130. [doi: 10.1145/3468264.3468620]
[32] Fazzini M, Xin Q, Orso A. Automated API-usage update for Android APPs. In: Proc. of the 28th ACM SIGSOFT Int’l Symp. on
Software Testing and Analysis. Beijing: ACM, 2019. 204–215. [doi: 10.1145/3293882.3330571]
[33] Lin JW, Salehnamadi N, Malek S. Test automation in open-source Android APPs: A large-scale empirical study. In: Proc. of the 35th
IEEE/ACM Int’l Conf. on Automated Software Engineering. Melbourne: IEEE, 2020. 1078–1089.
[34] Xia H, Zhang Y, Zhou YT, Chen XT, Wang Y, Zhang XY, Cui SS, Hong G, Zhang XH, Yang M, Yang ZM. How Android developers
handle evolution-induced API compatibility issues: A large-scale study. In: Proc. of the 42nd IEEE/ACM Int’l Conf. on Software
Engineering. Seoul: IEEE, 2020. 886–898.
[35] Wang HY, Xia X, Lo D, Grundy J, Wang XY. Automatic solution summarization for crash bugs. In: Proc. of the 43rd IEEE/ACM Int’l
Conf. on Software Engineering. Madrid: IEEE, 2021. 1286–1297. [doi: 10.1109/ICSE43902.2021.00117]
[36] Vallée-Rai R, Co P, Gagnon E, Hendren L, Lam P, Sundaresan V. Soot: A Java bytecode optimization framework. In: Proc. of the 2010
CASCON 1st Decade High Impact Papers. Toronto: IBM, 2010. 214–224. [doi: 10.1145/1925805.1925818]
[37] Arzt S, Rasthofer S, Fritz C, Bodden E, Bartel A, Klein J, Le Traon Y, Octeau D, McDaniel P. FlowDroid: Precise context, flow, field,
object-sensitive and lifecycle-aware taint analysis for Android APPs. ACM SIGPLAN Notices, 2014, 49(6): 259–269. [doi: 10.1145/
2666356.2594299]
[38] Lin L, Liao XF, Jin H, Li P. Computation offloading toward edge computing. Proc. of the IEEE, 2019, 107(8): 1584–1607. [doi: 10.1109/