Automatic and scalable fault detection for mobile applications

MobiSys 2014 - Proceedings of the 12th Annual International Conference on Mobile Systems, Applications, and Services

Volumn , Issue , 2014, Pages 190-203

  Ravindranath, Lenin ^a,b   Nath, Suman ^b   Padhye, Jitendra ^b   Balakrishnan, Hari ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

mobile applications; reliability; software engineering; testing

Indexed keywords

FAULT DETECTION; RELIABILITY; SOFTWARE ENGINEERING; TELEPHONE SETS; TESTING; USER INTERFACES;

CLOUD SERVERS; EXECUTION PATHS; IMPROVE SPEED; MOBILE APPLICATIONS; REGULAR REGRESSION; TESTING METHOD; USER INTERFACE CONTROL; WINDOWS PHONES;

MOBILE COMPUTING;

EID: 84903155469     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2594368.2594377     Document Type: Conference Paper

References (47)

1. http://www.magomedov.co.uk/2010/11/navigation-is-already-in-progress. html.
2. App platform compatibility for Windows Phone. http://msdn.microsoft.com/ en-US/library/windowsphone/develop/jj206947(v=vs.105).aspx.
3. Fiddler. http://fiddler2.com/.
4. Y. Agarwal and M. Hall. Protectmyprivacy: Detecting and mitigating privacy leaks on ios devices using crowdsourcing. In Mobisys, 2013.
5. R. Agrawal and R. Srikant. Fast algorithms for mining association rules in large databases. In VLDB, 1994.
6. D. Amalfitano, A. R. Fasolino, S. D. Carmine, A. Memon, and P. Tramontana. Using gui ripping for automated testing of android applications. In ASE, 2012.
7. S. Anand, M. Naik, M. J. Harrold, and H. Yang. Automated concolic testing of smartphone apps. In FSE, 2012.
8. T. Azim and I. Neamtiu. Targeted and depth-first exploration for systematic testing of android apps. In OOPSLA, 2013.
9. T. Ball and J. Larus. Efficient Path Profiling. In PLDI, 1997.
10. C. Cadar, D. Dunbar, and D. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, 2008.
11. R. Chandra, B. F. Karlsson, N. Lane, C.-J. M. Liang, S. Nath, J. Padhye, L. Ravindranath, and F. Zhao. Towards Scalable Automated Mobile App Testing. MSR-TR-2014-44.
12. P. H. Chia, Y. Yamamoto, and N. Asokan. Is this app safe?: A large scale study on application permissions and risk signals. In Proceedings of the 21st International Conference on World Wide Web, WWW '12, 2012.
13. J. Crussell, C. Gibler, and H. Chen. Attack of the clones: Detecting cloned applications on android markets. In ESORICS, 2012.
14. B. Davis and H. Chen. Retroskeleton: Retrofitting android apps. In Mobisys, 2013.
15. W. Enck, P. Gilbert, B.-G. Chun, L. P. Cox, J. Jung, P. McDaniel, and A. Seth. TaintDroid: An Information-Flow Tracking System for Realtime Privacy Monitoring on Smartphones. In OSDI, 2010.
16. W. Enck, P. Gilbert, B.-G. Chun, L. P. Cox, J. Jung, P. McDaniel, and A. N. Sheth. Taintdroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In OSDI, 2010.
17. W. Enck, D. Octeau, P. McDaniel, and S. Chaudhuri. A study of android application security. In USENIX Security, 2011.
18. Unhandled exception handler. http://msdn.microsoft.com/en-us/library/ system.appdomain.unhandledexception.aspx.
19. S. Ganov, C. Killmar, S. Khurshid, and D. Perry. Event listener analysis and symbolic execution for testing gui applications. Formal Methods and Software Engg., 2009.
20. C. Gibler, J. Crussell, J. Erickson, and H. Chen. Androidleaks: Automatically detecting potential privacy leaks in android applications on a large scale. In Trust and Trustworthy Computing, 2012.
21. L. Gomez, I. Neamtiu, T. Azim, and T. Millstein. Reran: Timing- and touch-sensitive record and replay for android. In ICSE, 2013.
22. Google. UI/Application Exerciser Monkey. http://developer.android.com/ tools/help/monkey.html.
23. M. Grace, Y. Zhou, Q. Zhang, S. Zou, and X. Jiang. Riskranker: Scalable and accurate zero-day android malware detection. In Mobisys, 2012.
24. GUITAR: A model-based system for automated GUI testing. http://guitar.sourceforge.net/.
25. D. Hackner and A. M. Memon. Test case generator for GUITAR. In ICSE, 2008.
26. S. Hao, D. Li, W. Halfond, and R. Govindan. SIF: A Selective Instrumenation Framework for Mobile Applications. In MobiSys, 2013.
27. C. Hu and I. Neamtiu. Automating gui testing for android applications. In AST, 2011.
28. C. S. Jensen, M. R. Prasad, and A. MÃÿller. Automated testing with targeted event sequence generation. In Int. Symp. on Software Testing and Analysis, 2013.
29. J. C. King. Symbolic execution and program testing. CACM, 19(7):385-394, 1976.
30. Y. Kwon, S. Lee, H. Yi, D. Kwon, S. Yang, B.-G. Chun, L. Huang, P. Maniatis, M. Naik, and Y. Paek. Mantis: Automatic performance prediction for smartphone applications. In Usenix ATC, 2013.
31. K. Lee, J. Flinn, T. Giuli, B. Noble, and C. Peplin. Amc: Verifying user interface properties for vehicular applications. In ACM Mobisys, 2013.
32. C.-J. M. Liang, N. Lane, N. Brouwers, L. Zhang, B. Karlsson, R. Chandra, and F. Zhao. Contextual Fuzzing: Automated Mobile App Testing Under Dynamic Device and Environment Conditions. MSR-TR-2013-100.
33. S. Lidin. Inside Microsoft. NET IL Assembler . Microsoft Press, 2002.
34. B. Livshits and J. Jung. Automatic mediation of privacy-sensitive resource access in smartphone applications. In USENIX Security, 2013.
35. A. Machiry, R. Tahiliani, and M. Naik. Dynodroid: An input generation system for android apps. In FSE, 2013.
36. A. Memon. Using reverse engineering for automated usability evaluation of gui-based applications. Human-Centered Software Engineering, 2009.
37. N. Mirzaei, S. Malek, C. S. Pǎsǎreanu, N. Esfahani, and R. Mahmood. Testing android apps through symbolic execution. SIGSOFT Softw. Eng. Notes, 37(6):1-5, 2012.
38. A. Pathak, Y. C. Hu, and M. Zhang. Where is the energy spent inside my app? fine grained energy accounting on smartphones with eprof. In Eurosys, 2012.
39. A. Pathak, A. Jindal, Y. C. Hu, and S. Midkiff. What is keeping my phone awake? characterizing and detecting no-sleep energy bugs in smartphone apps. In Mobisys, 2012.
40. C. Perzold. Microsoft Silverlight Edition: Programming Windows Phone 7. Microsoft Press, 2010.
41. V. Rastogi, Y. Chen, and W. Enck. Appsplayground: Automatic security analysis of smartphone applications. In CODASPY, 2013.
42. L. Ravindranath et al. Appinsight: Mobile app performance monitoring in the wild. In OSDI, 2012.
43. L. Rizzo. Dummynet.
44. P. Vekris, R. Jhala, S. Lerner, and Y. Agarwal. Towards verifying android apps for the absence of wakelock energy bugs. In HotPower, 2012.
45. X. S. Wang, A. Balasubramanian, A. Krishnamurthy, and D. Wetherall. Demystifying Page Load Performance with WProf. In NSDI, 2013.
46. Xaml. http://msdn.microsoft.com/en-us/library/ms752059(v=vs.110).aspx.
47. W. Yang, M. R. Prasad, and T. Xie. A Grey-box Approach for Automated GUI-Model Generation of Mobile Applications. In FASE, 2013.