Efficiently, effectively detecting mobile app bugs with appDoctor

Proceedings of the 9th European Conference on Computer Systems, EuroSys 2014

Volumn , Issue , 2014, Pages

  Hu, Gang ^a   Yuan, Xinhao ^a   Tang, Yang ^a   Yang, Junfeng ^a  

^a Och Spine at New York Presbyterian Hospitals   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROGRAM DEBUGGING; ROBOTS;

BUG REPORTS; FALSE POSITIVE; GOOGLE PLAYS; MANUAL INSPECTION; MOBILE APPS; OPEN-SOURCE; PHYSICAL DEVICES; USER ACTION;

PROGRAM DIAGNOSTICS;

EID: 84900457247     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2592798.2592813     Document Type: Conference Paper

References (54)

1. Activity Class in Android Developers Site. http://developer.android.com/ reference/android/app/Activity.html.
2. Android Debug Bridge in Android Developers Site. http://developer. android.com/tools/help/adb.html.
3. Android instrumentation framework. http://developer.android.com/ reference/android/app/Instrumentation.html.
4. Building Blocks in Android Developers Site. http://developer.android.com/ design/buildingblocks/.
5. Google Play Hits 1 Million Apps. http://mashable.com/2013/07/24/google- play-1-million.
6. Robotium framework for test automation. http://www.robotium.org.
7. Testdroid: Automated Testing Tool for Android. http://testdroid.com.
8. AGRAWAL, H., AND HORGAN, J. R. Dynamic program slicing. In ACM SIGPLAN Notices (1990), vol. 25, ACM, pp. 246-256.
9. AMALFITANO, D., FASOLINO, A. R., TRAMONTANA, P., DE CARMINE, S., AND MEMON, A. M. Using GUI ripping for automated testing of Android applications. In Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (2012), pp. 258-261.
10. ANAND, S., NAIK, M., HARROLD, M. J., AND YANG, H. Automated concolic testing of smartphone apps. In Proceedings of the 20th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT '12/FSE- 20).
11. Lock Screen Security Hole Found On Some Android-Powered Samsung Galaxy Phones. http://techcrunch.com/2013/03/20/tell-me-if-youve-heard-thisone-before- lock-screen-security-flawfound-on-samsungs-android-phones.
12. android-apktool. http://code.google.com/p/android-apktool/.
13. BURGUERA, I., ZURUTUZA, U., AND NADJM-TEHRANI, S. Crowdroid: behavior-based malware detection system for Android. In Proceedings of the 1st ACM workshop on Security and privacy in smartphones and mobile devices (2011), pp. 15-26.
14. CADAR, C., DUNBAR, D., AND ENGLER, D. KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08) (Dec. 2008), pp. 209-224.
15. CADAR, C., GANESH, V., PAWLOWSKI, P. M., DILL, D. L., AND ENGLER, D. R. EXE: Automatically generating inputs of death. In Proceedings of the 13th ACM conference on Computer and communications security (CCS '06) (Oct.- Nov. 2006), pp. 322-335.
16. U.S. government, military to get secure Android phones. http://www.cnn.com/2012/02/03/tech/mobile/government-android-phones.
17. EGELE, M., KRUEGEL, C., KIRDA, E., AND VIGNA, G. PiOS: Detecting privacy leaks in iOS applications. In Proceedings of the Network and Distributed System Security Symposium (NDSS '11) (2011).
18. ENCK, W., GILBERT, P., CHUN, B.-G., COX, L. P., JUNG, J., MCDANIEL, P., AND SHETH, A. N. TaintDroid: An information-flow tracking system for realtime privacy monitoring on smartphones. In Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10) (2010), pp. 1-6.
19. GANOV, S., KILLMAR, C., KHURSHID, S., AND PERRY, D. E. Event listener analysis and symbolic execution for testing GUI applications. In Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering (2009), ICFEM '09.
20. GEORGES, A., CHRISTIAENS, M., RONSSE, M., AND DE BOSSCHERE, K. JaRec: A portable record/replay environment for multi-threaded Java applications. Softw. Pract. Exper. 34, 6 (2004), 523-547.
21. GODEFROID, P. Model checking for programming languages using verisoft. In Proceedings of the 24th Annual Symposium on Principles of Programming Languages (POPL '97) (Jan. 1997), pp. 174-186.
22. GODEFROID, P., KLARLUND, N., AND SEN, K. DART: Directed automated random testing. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI '05) (June 2005), pp. 213- 223.
23. GOMEZ, L., NEAMTIU, I., AZIM, T., AND MILLSTEIN, T. RERAN: Timing- And touch-sensitive record and replay for Android. In Proceedings of the 35rd International Conference on Software Engineering (ICSE '13) (2013), pp. 72-81.
24. Google Play. https://play.google.com/store.
25. GRACE, M., ZHOU, Y., ZHANG, Q., ZOU, S., AND JIANG, X. RiskRanker: scalable and accurate zero-day Android malware detection. In Proceedings of the 10th international conference on Mobile systems, applications, and services (2012), pp. 281-294.
26. GUO, H., WU, M., ZHOU, L., HU, G., YANG, J., AND ZHANG, L. Practical software model checking via dynamic interface reduction. In Proceedings of the 23rd ACM Symposium on Operating Systems Principles (SOSP '11) (Oct. 2011), pp. 265-278.
27. GUO, Z., WANG, X., TANG, J., LIU, X., XU, Z., WU, M., KAASHOEK, M. F., AND ZHANG, Z. R2: An application level kernel for record and replay. In Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08) (Dec. 2008), pp. 193-208.
28. HU, C., AND NEAMTIU, I. Automating GUI testing for Android applications. In Proceedings of the 6th International Workshop on Automation of Software Test (2011), pp. 77-83.
29. JEON, J., MICINSKI, K. K., AND FOSTER, J. S. SymDroid: Symbolic execution for Dalvik bytecode.
30. JHALA, R., AND MAJUMDAR, R. Path slicing. In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation (PLDI '05) (June 2005), pp. 38-47.
31. KHALID, H. On identifying user complaints of iOS apps. In Proceedings of the 35rd International Conference on Software Engineering (ICSE '13) (2013), pp. 1474-1476.
32. KILLIAN, C., ANDERSON, J. W., JHALA, R., AND VAHDAT, A. Life, death, and the critical transition: Finding liveness bugs in systems code. In Proceedings of the Fourth Symposium on Networked Systems Design and Implementation (NSDI '07) (Apr. 2007), pp. 243-256.
33. KOREL, B., AND LASKI, J. Dynamic program slicing. Inf. Process. Lett. 29, 3 (1988), 155-163.
34. LAADAN, O., VIENNOT, N., AND NIEH, J. Transparent, lightweight application execution replay on commodity multiprocessor operating systems. In Proceedings of the ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems (SIGMETRICS '10) (June 2010), pp. 155- 166.
35. LEE, K., FLINN, J., GIULI, T., NOBLE, B., AND PEPLIN, C. AMC: Verifying User Interface Properties for Vehicular Applications. In Proceeding of the 11th Annual International Conference on Mobile Systems, Applications, and Services (2013), MobiSys '13.
36. MA, X., HUANG, P., JIN, X., WANG, P., PARK, S., SHEN, D., ZHOU, Y., SAUL, L. K., AND VOELKER, G. M. eDoctor: Automatically Diagnosing Abnormal Battery Drain Issues on Smartphones. In NSDI'13 (2013).
37. MACHIRY, A., TAHILIANI, R., AND NAIK, M. Dynodroid: An input generation system for android apps. In Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering (2013), ESEC/FSE 2013, pp. 224-234.
38. MIRZAEI, N., MALEK, S., PǍSǍREANU, C. S., ESFAHANI, N., AND MAHMOOD, R. Testing Android apps through symbolic execution. In The Java Pathfinder Workshop 2012 (2012), JPF 2012.
39. MIRZAEI, N., MALEK, S., PǍSǍREANU, C. S., ESFAHANI, N., AND MAHMOOD, R. Testing Android apps through symbolic execution. SIGSOFT Softw. Eng. Notes 37, 6 (Nov. 2012).
40. monkeyrunner. http://developer.android.com/tools/help/monkeyrunner- concepts.html.
41. MUSUVATHI, M., PARK, D. Y., CHOU, A., ENGLER, D. R., AND DILL, D. L. CMC: A pragmatic approach to model checking real code. In Proceedings of the Fifth Symposium on Operating Systems Design and Implementation (OSDI '02) (Dec. 2002), pp. 75-88.
42. PATHAK, A., JINDAL, A., HU, Y. C., AND MIDKIFF, S. P. What is keeping my phone awake?: characterizing and detecting no-sleep energy bugs in smartphone apps. In Proceedings of the 10th international conference on Mobile systems, applications, and services (2012), pp. 267-280.
43. RONSSE, M., AND DE BOSSCHERE, K. RecPlay: A fully integrated practical record/replay system. ACM Trans. Comput. Syst. 17, 2 (1999), 133-152.
44. SIMSA, J., GIBSON, G., AND BRYANT, R. dBug: Systematic Testing of Unmodified Distributed and Multi-Threaded Systems. In The 18th International SPIN Workshop on Model Checking of Software (SPIN'11) (2011), pp. 188-193.
45. TAKALA, T., KATARA, M., AND HARTY, J. Experiences of system-level model-based GUI testing of an Android application. In Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation (2011), ICST '11.
46. TANG, Y., AMES, P., BHAMIDIPATI, S., BIJLANI, A., GEAMBASU, R., AND SARDA, N. CleanOS: limiting mobile data exposure with idle eviction. In Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12) (2012), pp. 77-91.
47. UI/Application Exerciser Monkey. http://developer.android.com/tools/help/ monkey.html.
48. WEISER, M. Program slicing. In Proceedings of the 5th International Conference on Software Engineering (ICSE '81) (Mar. 1981), pp. 439-449.
49. WU, M., LONG, F., WANG, X., XU, Z., LIN, H., LIU, X., GUO, Z., GUO, H., ZHOU, L., AND ZHANG, Z. Languagebased replay via data flow cut. In Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (SIGSOFT '10/FSE-18), pp. 197-206.
50. YANG, J., CUI, A., STOLFO, S., AND SETHUMADHAVAN, S. Concurrency attacks. In the Fourth USENIX Workshop on Hot Topics in Parallelism (HOTPAR '12) (June 2012).
51. YANG, J., SAR, C., AND ENGLER, D. Explode: A lightweight, general system for finding serious storage system errors. In Proceedings of the Seventh Symposium on Operating Systems Design and Implementation (OSDI '06) (Nov. 2006), pp. 131-146.
52. YANG, J., TWOHEY, P., ENGLER, D., AND MUSUVATHI, M. Using model checking to find serious file system errors. In Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI '04) (Dec. 2004), pp. 273- 288.
53. YANG, W., PRASAD, M. R., AND XIE, T. A grey-box approach for automated GUI-model generation of mobile applications. In Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering (2013), FASE'13.
54. ZHANG, X., AND GUPTA, R. Cost effective dynamic program slicing. In Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation (PLDI '04) (2004), pp. 94-106.