Systematic execution of android test suites in adverse conditions

2015 International Symposium on Software Testing and Analysis, ISSTA 2015 - Proceedings

Volumn , Issue , 2015, Pages 83-93

  Adamsen, Christoffer Quist ^a   Mezzetti, Gianluca ^a   Møller, Anders ^a  

^a AARHUS UNIVERSITY   (Denmark)

Author keywords

Android; Automated testing; Mobile apps; UI testing

Indexed keywords

ANDROID (OPERATING SYSTEM); COMPUTER PROGRAMMING; TESTING;

ANDROID; APPLICATION PROGRAMMERS; AUTOMATED TESTING; AUTOMATED TESTING TOOLS; EVENT DRIVEN APPLICATIONS; MOBILE APPS; PROGRAMMING ERRORS; UNEXPECTED EVENTS;

SOFTWARE TESTING;

EID: 84975745683     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2771783.2771786     Document Type: Conference Paper

References (31)

1. Fortify Source Code Analyzer, 2015. http://www8.hp.com/us/en/software-solutions/static-code-analysis-sast/.
2. IBM Security AppScan Source, 2015. http://www.ibm.com/software/products/en/appscan-source.
3. D. Amaltano, A. R. Fasolino, P. Tramontana, B. D. Ta, and A. M. Memon. MobiGUITAR- A tool for automated model-based testing of mobile apps. IEEE Software, 2015. To appear.
4. S. Anand, M. Naik, M. J. Harrold, and H. Yang. Automated concolic testing of smartphone apps. In Proc. 20th ACM SIGSOFT Symp. on the Foundations of Software Engineering, pages 59:1-11, 2012.
5. S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. L. Traon, D. Octeau, and P. McDaniel. FlowDroid: precise context, flow, field, object-sensitive and lifecycle-aware taint analysis for Android apps. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, pages 259-269, 2014.
6. T. Azim and I. Neamtiu. Targeted and depth-first exploration for systematic testing of android apps. In Proc. ACM SIGPLAN Int. Conf. on Object Oriented Programming Systems Languages & Applications, pages 641-660, 2013.
7. W. Choi, G. C. Necula, and K. Sen. Guided GUI testing of android apps with minimal restart and approximate learning. In Proc. ACM SIGPLAN Int. Conf. on Object Oriented Programming Systems Languages & Applications, pages 623-640, 2013.
8. A. M. Fard and A. Mesbah. Feedback-directed exploration of web applications to derive test models. In Proc. IEEE 24th Int. Symp. on Software Reliability Engineering, pages 278-287, 2013.
9. A. M. Fard, M. Mirzaaghaei, and A. Mesbah. Leveraging existing tests in automated test generation for web applications. In Proc. ACM/IEEE Int. Conf. on Automated Software Engineering, pages 67-78, 2014.
10. G. Fraser and A. Zeller. Generating parameterized unit tests. In Proc. 20th Int. Symp. on Software Testing and Analysis, pages 364-374, 2011.
11. S. Hao, B. Liu, S. Nath, W. G. J. Halfond, and R. Govindan. PUMA: programmable UI-automation for large-scale dynamic analysis of mobile apps. In Proc. 12th Annual Int. Conf. on Mobile Systems, Applications, and Services, pages 204-217, 2014.
12. C. Hsiao, C. Pereira, J. Yu, G. Pokam, S. Narayanasamy, P. M. Chen, Z. Kong, and J. Flinn. Race detection for event-driven mobile applications. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, page 35, 2014.
13. C. Hu and I. Neamtiu. Automating GUI testing for Android applications. In Proc. 6th Int. Workshop on Automation of Software Test, pages 77-83, 2011.
14. G. Hu, X. Yuan, Y. Tang, and J. Yang. Efficiently, effectively detecting mobile app bugs with AppDoctor. In Proc. 9th EuroSys Conf., page 18, 2014.
15. D. Jackson and M. Vaziri. Finding bugs with a constraint solver. In Proc. Int. Symp. on Software Testing and Analysis, pages 14-25, 2000.
16. C. S. Jensen, M. R. Prasad, and A. Müller. Automated testing with targeted event sequence generation. In Proc. Int. Symp. on Software Testing and Analysis, pages 67-77, 2013.
17. J. Kim, Y. Yoon, K. Yi, and J. Shin. ScanDal: Static analyzer for detecting privacy leaks in Android applications. In Mobile Security Technologies, 2012.
18. V. Le, M. Afshari, and Z. Su. Compiler validation via equivalence modulo inputs. In ACM SIGPLAN Conf. on Programming Language Design and Implementation, pages 216-226, 2014.
19. Y. Li, P. K. Das, and D. L. Dowe. Two decades of web application testing- A survey of recent advances. Inf. Syst., 43:20-54, 2014.
20. C. M. Liang, N. D. Lane, N. Brouwers, L. Zhang, B. Karlsson, H. Liu, Y. Liu, J. Tang, X. Shan, R. Chandra, and F. Zhao. Caiipa: automated large-scale mobile app testing through contextual fuzzing. In Proc. 20th Annual Int. Conf. on Mobile Computing and Networking, pages 519-530, 2014.
21. Q. Luo, F. Hariri, L. Eloussi, and D. Marinov. An empirical analysis of aky tests. In Proc. 22nd ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, pages 643-653, 2014.
22. A. Machiry, R. Tahiliani, and M. Naik. Dynodroid: an input generation system for Android apps. In Proc. European Software Engineering Conf./ACM SIGSOFT Symp. on the Foundations of Software Engineering, pages 224-234, 2013.
23. P. Maiya, A. Kanade, and R. Majumdar. Race detection for Android applications. In Proc. ACM SIGPLAN Conf. on Programming Language Design and Implementation, page 34, 2014.
24. A. Mesbah, A. van Deursen, and D. Roest. Invariant-based automatic testing of modern web applications. IEEE Trans. Software Engineering, 38(1):35-53, 2012.
25. L. Ravindranath, S. Nath, J. Padhye, and H. Balakrishnan. Automatic and scalable fault detection for mobile applications. In Proc. 12th Annual Int. Conf. on Mobile Systems, Applications, and Services, pages 190-203, 2014.
26. T. Xie and D. Notkin. Tool-assisted unit-test generation and selection based on operational abstractions. Automated Software Engineering, 13(3):345-371, 2006.
27. D. Yan, S. Yang, and A. Rountev. Systematic testing for resource leaks in Android applications. In Proc. IEEE 24th Int. Symp. on Software Reliability Engineering, pages 411-420, 2013.
28. S. Yang, D. Yan, and A. Rountev. Testing for poor responsiveness in Android applications. In Int. Workshop on Engineering Mobile-Enabled Systems, volume 10, pages 1-6, 2013.
29. R. N. Zaeem, M. R. Prasad, and S. Khurshid. Automated generation of oracles for testing user-interaction features of mobile apps. In Proc. IEEE Seventh Int. Conf. on Software Testing, Verification and Validation, pages 183-192, 2014.
30. A. Zeller and R. Hildebrandt. Simplifying and isolating failure-inducing input. IEEE Trans. on Software Engineering, 28(2):183-200, 2002.
31. P. Zhang and S. G. Elbaum. Amplifying tests to validate exception handling code: An extended study in the mobile application domain. ACM Trans. on Software Engineering and Methodology, 23(4):32:1-32:28, 2014.