Page 17 - 《软件学报》2020年第12期

成浩亮 等:一种手绘制导的移动应用界面测试方法 3683

[16] Arzt S, Bodden E. StubDroid: Automatic inference of precise data-flow summaries for the Android framework. In: Proc. of the 38th
Int’l Conf. on Software Engineering. New York: Academic Press, 2016. 725−735.
[17] Barros P, Just R, Millstein S, Vines P, Dietl W, Amorim Md, Ernst MD. Static analysis of implicit control flow: Resolving java
reflection and Android intents. In: Proc. of the 2015 30th IEEE/ACM Int’l Conf. on Automated Software Engineering. New York:
Academic Press, 2015. 669−679.
[18] Brutschy L, Ferrara P, Müller P. Static analysis for independent app developers. In: Proc. of the 2014 ACM Int’l Conf. on Object
Oriented Programming Systems Languages & Applications. New York: Academic Press, 2014. 847−860.
[19] 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. New York: Academic Press, 2016. 559−570.
[20] Yang S, Yan D, Wu H, Wang Y, Rountev A. Static control-flow analysis of user-driven callbacks in Android applications. In: Proc.
of the 37th Int’l Conf. on Software Engineering. Vol.1. New York: IEEE Press, 2015. 89−99.
[21] Mehlitz P, Tkachuk O, Ujma M. JPF-AWT: Model checking GUI applications. In: Proc. of the 2011 26th IEEE/ACM Int’l Conf. on
Automated Software Engineering. New York: Academic Press, 2011. 584−587.
[22] Mirzaei N, Malek S, Păsăreanu CS, et al. Testing android apps through symbolic execution. ACM Sigsoft Software Engineering
Notes, 2012,37(6):1−5.
[23] Shehady RK, Siewiorek DP. A method to automate user interface testing using variable finite state machines. In: Proc. of IEEE
27th Int’l Symp. on Fault Tolerant Computing. New York: Academic Press, 1997. 80−88.
[24] White L, Almezen H. Generating test cases for GUI responsibilities using complete interaction sequences. In: Proc. of 11th Int’l
Symp. on Software Reliability Engineering. Washington: IEEE Computer Society, 2000. 110−121.
[25] 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. New York: Academic Press, 2013.
641−660.
[26] Yang S, Zhang H, Wu H, Wang Y, Yan D, Rountev A. Static window transition graphs for Android. In: Proc. of the 2015 30th
IEEE/ACM Int’l Conf. on Automated Software Engineerin. New York: Academic Press, 2015. 658−668.
[27] Krishnaswami NR, Benton N. A semantic model for graphical user interfaces. ACM Sigsoft Software Engineering Notes, 2011,
46(9):45−57.
[28] Navarro PLM, Ruiz DS, Pérez GM. A proposal for automatic testing of GUIs based on annotated use cases. In: Proc. of the
Advances in Software Engineering. 2010.
[29] Takala T, Katara M, Harty J. Experiences of system-level model- based GUI testing of an Android application. In: Proc. of the
2011 4th IEEE Int’l Conf. on Software Testing, Verification and Validation. Washington: IEEE Computer Society, 2011. 377−386.
[30] Amalfitano D, Fasolino AR, Tramontana P. A GUI crawling-based technique for Android mobile application testing. In: Proc. of
the 2011 IEEE 4th Int’l Conf. on Software Testing, Verification and Validation Workshops. Washington: IEEE Computer Society,
2011. 252−261.
[31] Nguyen B, Memon A. An observe-model-exercise paradigm to test event-driven systems with undetermined input spaces. IEEE
Trans. on Software Engineering, 2014,40(3):216−234.
[32] Grundy J, Hosking J. Supporting generic sketching-based input of diagrams in a domain-specific visual language meta-tool. In:
Proc. of the 29th Int’l Conf. on Software Engineering. Washington: IEEE Computer Society, 2007. 282−291.
[33] Memon AM. Automatically repairing event sequence-based GUI test suites for regression testing. ACM Trans. on Software
Engineering and Methodology, 2008,18(2):Article 4.
[34] Memon AM, Nguyen BN. Advances in automated model-based system testing of software applications with a GUI front-end.
Advances in Computers, 2010,80:121−162.
[35] Coyette A, Vanderdonckt J. A sketching tool for designing anyuser, anyplatform, anywhere user interfaces. In: Proc. of the 2005
IFIP TC13 Int’l Conf. on Human-Computer Interaction. Berlin: Springer-Verlag, 2005. 550−564.
[36] Lin J. A visual language for a sketch-based UI prototyping tool. In: Proc. of the Extended Abstracts on Human Factors in
Computing Systems (CHI’99). New York: Academic Press, 1999. 298−299.