{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T13:59:33Z","timestamp":1766066373974,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":54,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,14]],"date-time":"2014-04-14T00:00:00Z","timestamp":1397433600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CCF-1162021, CNS-1117805, CNS-1054906, CNS-0905246"],"award-info":[{"award-number":["CCF-1162021, CNS-1117805, CNS-1054906, CNS-0905246"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8650-11-C-7190, FA8650-10-C-7024, FA8750-10-2-0253"],"award-info":[{"award-number":["FA8650-11-C-7190, FA8650-10-C-7024, FA8750-10-2-0253"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000181","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000181","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1162021, CNS-1117805, CNS-1054906, CNS-0905246"],"award-info":[{"award-number":["CCF-1162021, CNS-1117805, CNS-1054906, CNS-0905246"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006785","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006785","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000006","name":"Office of Naval Research","doi-asserted-by":"publisher","award":["N00014-12-1-0166"],"award-info":[{"award-number":["N00014-12-1-0166"]}],"id":[{"id":"10.13039\/100000006","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000879","name":"Alfred P. Sloan Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000879","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,14]]},"DOI":"10.1145\/2592798.2592813","type":"proceedings-article","created":{"date-parts":[[2014,4,28]],"date-time":"2014-04-28T14:18:30Z","timestamp":1398694710000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":86,"title":["Efficiently, effectively detecting mobile app bugs with AppDoctor"],"prefix":"10.1145","author":[{"given":"Gang","family":"Hu","sequence":"first","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xinhao","family":"Yuan","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Tang","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Junfeng","family":"Yang","sequence":"additional","affiliation":[{"name":"Columbia University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4,14]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Activity Class in Android Developers Site. http:\/\/developer.android.com\/reference\/android\/app\/Activity.html.  Activity Class in Android Developers Site. http:\/\/developer.android.com\/reference\/android\/app\/Activity.html."},{"key":"e_1_3_2_1_2_1","unstructured":"Android Debug Bridge in Android Developers Site. http:\/\/developer.android.com\/tools\/help\/adb.html.  Android Debug Bridge in Android Developers Site. http:\/\/developer.android.com\/tools\/help\/adb.html."},{"key":"e_1_3_2_1_3_1","unstructured":"Android instrumentation framework. http:\/\/developer.android.com\/reference\/android\/app\/Instrumentation.html.  Android instrumentation framework. http:\/\/developer.android.com\/reference\/android\/app\/Instrumentation.html."},{"key":"e_1_3_2_1_4_1","unstructured":"Building Blocks in Android Developers Site. http:\/\/developer.android.com\/design\/building-blocks\/.  Building Blocks in Android Developers Site. http:\/\/developer.android.com\/design\/building-blocks\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Google Play Hits 1 Million Apps. http:\/\/mashable.com\/2013\/07\/24\/google-play-1-million.  Google Play Hits 1 Million Apps. http:\/\/mashable.com\/2013\/07\/24\/google-play-1-million."},{"key":"e_1_3_2_1_6_1","unstructured":"Robotium framework for test automation. http:\/\/www.robotium.org.  Robotium framework for test automation. http:\/\/www.robotium.org."},{"key":"e_1_3_2_1_7_1","unstructured":"Testdroid: Automated Testing Tool for Android. http:\/\/testdroid.com.  Testdroid: Automated Testing Tool for Android. http:\/\/testdroid.com."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/93548.93576"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351717"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_11_1","unstructured":"Lock Screen Security Hole Found On Some Android-Powered Samsung Galaxy Phones. http:\/\/techcrunch.com\/2013\/03\/20\/tell-me-if-youve-heard-this-one-before-lock-screen-security-flaw-found-on-samsungs-android-phones.  Lock Screen Security Hole Found On Some Android-Powered Samsung Galaxy Phones. http:\/\/techcrunch.com\/2013\/03\/20\/tell-me-if-youve-heard-this-one-before-lock-screen-security-flaw-found-on-samsungs-android-phones."},{"key":"e_1_3_2_1_12_1","unstructured":"android-apktool. http:\/\/code.google.com\/p\/android-apktool\/.  android-apktool. http:\/\/code.google.com\/p\/android-apktool\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2046614.2046619"},{"key":"e_1_3_2_1_14_1","first-page":"209","volume-title":"Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Cadar C.","year":"2008","unstructured":"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 . 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."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"e_1_3_2_1_16_1","unstructured":"U.S. government military to get secure Android phones. http:\/\/www.cnn.com\/2012\/02\/03\/tech\/mobile\/government-android-phones.  U.S. government military to get secure Android phones. http:\/\/www.cnn.com\/2012\/02\/03\/tech\/mobile\/government-android-phones."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium (NDSS '11)","author":"Egele M.","year":"2011","unstructured":"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 ). 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)."},{"key":"e_1_3_2_1_18_1","first-page":"1","volume-title":"Proceedings of the Ninth Symposium on Operating Systems Design and Implementation (OSDI '10)","author":"Enck W.","year":"2010","unstructured":"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 . 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."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10373-5_4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263717"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486799"},{"key":"e_1_3_2_1_24_1","unstructured":"Google Play. https:\/\/play.google.com\/store.  Google Play. https:\/\/play.google.com\/store."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307663"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"e_1_3_2_1_27_1","first-page":"193","volume-title":"Proceedings of the Eighth Symposium on Operating Systems Design and Implementation (OSDI '08)","author":"Guo Z.","year":"2008","unstructured":"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 . 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."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982612"},{"key":"e_1_3_2_1_29_1","unstructured":"Jeon J. Micinski K. K. and Foster J. S. SymDroid: Symbolic execution for Dalvik bytecode.  Jeon J. Micinski K. K. and Foster J. S. SymDroid: Symbolic execution for Dalvik bytecode."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065016"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2487044"},{"key":"e_1_3_2_1_32_1","first-page":"243","volume-title":"Proceedings of the Fourth Symposium on Networked Systems Design and Implementation (NSDI '07)","author":"Killian C.","year":"2007","unstructured":"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 . 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."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(88)90054-3"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464459"},{"key":"e_1_3_2_1_36_1","volume-title":"NSDI'13","author":"Ma X.","year":"2013","unstructured":"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 ). 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)."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"volume-title":"The Java Pathfinder Workshop 2012 (2012), JPF 2012.","author":"Mirzaei N.","key":"e_1_3_2_1_38_1","unstructured":"Mirzaei , N. , Malek , S. , P\u0103s\u0103reanu , C. S. , Esfahani , N. , and Mahmood , R . Testing Android apps through symbolic execution . In The Java Pathfinder Workshop 2012 (2012), JPF 2012. Mirzaei, N., Malek, S., P\u0103s\u0103reanu, C. S., Esfahani, N., and Mahmood, R. Testing Android apps through symbolic execution. In The Java Pathfinder Workshop 2012 (2012), JPF 2012."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382798"},{"key":"e_1_3_2_1_40_1","unstructured":"monkeyrunner. http:\/\/developer.android.com\/tools\/help\/monkeyrunner_concepts.html.  monkeyrunner. http:\/\/developer.android.com\/tools\/help\/monkeyrunner_concepts.html."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060297"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307661"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_44_1","first-page":"188","volume-title":"The 18th International SPIN Workshop on Model Checking of Software (SPIN'11)","author":"Simsa J.","year":"2011","unstructured":"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 . 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."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2011.11"},{"key":"e_1_3_2_1_46_1","first-page":"77","volume-title":"Proceedings of the Tenth Symposium on Operating Systems Design and Implementation (OSDI '12)","author":"Tang Y.","year":"2012","unstructured":"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 . 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."},{"key":"e_1_3_2_1_47_1","unstructured":"UI\/Application Exerciser Monkey. http:\/\/developer.android.com\/tools\/help\/monkey.html.  UI\/Application Exerciser Monkey. http:\/\/developer.android.com\/tools\/help\/monkey.html."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/800078.802557"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882322"},{"key":"e_1_3_2_1_50_1","volume-title":"the Fourth USENIX Workshop on Hot Topics in Parallelism (HOTPAR '12)","author":"Yang J.","year":"2012","unstructured":"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 ). 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)."},{"key":"e_1_3_2_1_51_1","first-page":"131","volume-title":"Proceedings of the Seventh Symposium on Operating Systems Design and Implementation (OSDI '06)","author":"Yang J.","year":"2006","unstructured":"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 . 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."},{"key":"e_1_3_2_1_52_1","first-page":"273","volume-title":"Proceedings of the Sixth Symposium on Operating Systems Design and Implementation (OSDI '04)","author":"Yang J.","year":"2004","unstructured":"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 . 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."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/996841.996855"}],"event":{"name":"EuroSys 2014: Ninth Eurosys Conference 2014","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Amsterdam The Netherlands","acronym":"EuroSys 2014"},"container-title":["Proceedings of the Ninth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2592798.2592813","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2592798.2592813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:55:58Z","timestamp":1750229758000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2592798.2592813"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,14]]},"references-count":54,"alternative-id":["10.1145\/2592798.2592813","10.1145\/2592798"],"URL":"https:\/\/doi.org\/10.1145\/2592798.2592813","relation":{},"subject":[],"published":{"date-parts":[[2014,4,14]]},"assertion":[{"value":"2014-04-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}