{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:35Z","timestamp":1763468195429,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T00:00:00Z","timestamp":1401667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["931508"],"award-info":[{"award-number":["931508"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,2]]},"DOI":"10.1145\/2594368.2594377","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T18:18:31Z","timestamp":1401473911000},"page":"190-203","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":78,"title":["Automatic and scalable fault detection for mobile applications"],"prefix":"10.1145","author":[{"given":"Lenin","family":"Ravindranath","sequence":"first","affiliation":[{"name":"M.I.T, Cambridge, MA, USA"}]},{"given":"Suman","family":"Nath","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}]},{"given":"Jitendra","family":"Padhye","sequence":"additional","affiliation":[{"name":"Microsoft Research, Redmond, WA, USA"}]},{"given":"Hari","family":"Balakrishnan","sequence":"additional","affiliation":[{"name":"M.I.T, Cambridge, MA, USA"}]}],"member":"320","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"http:\/\/www.magomedov.co.uk\/2010\/11\/navigation-is-already-in-progress.html.  http:\/\/www.magomedov.co.uk\/2010\/11\/navigation-is-already-in-progress.html."},{"key":"e_1_3_2_1_2_1","unstructured":"App platform compatibility for Windows Phone. http:\/\/msdn.microsoft.com\/en-US\/library\/windowsphone\/develop\/jj206947(v=vs.105).aspx.  App platform compatibility for Windows Phone. http:\/\/msdn.microsoft.com\/en-US\/library\/windowsphone\/develop\/jj206947(v=vs.105).aspx."},{"key":"e_1_3_2_1_3_1","unstructured":"Fiddler. http:\/\/fiddler2.com\/.  Fiddler. http:\/\/fiddler2.com\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464460"},{"key":"e_1_3_2_1_5_1","volume-title":"VLDB","author":"Agrawal R.","year":"1994","unstructured":"R. Agrawal and R. Srikant . Fast algorithms for mining association rules in large databases . In VLDB , 1994 . R. Agrawal and R. Srikant. Fast algorithms for mining association rules in large databases. In VLDB, 1994."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351717"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509549"},{"key":"e_1_3_2_1_9_1","volume-title":"PLDI","author":"Ball T.","year":"1997","unstructured":"T. Ball and J. Larus . Efficient Path Profiling . In PLDI , 1997 . T. Ball and J. Larus. Efficient Path Profiling. In PLDI, 1997."},{"key":"e_1_3_2_1_10_1","volume-title":"OSDI","author":"Cadar C.","year":"2008","unstructured":"C. Cadar , D. Dunbar , and D. Engler . Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs . In OSDI , 2008 . C. Cadar, D. Dunbar, and D. Engler. Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In OSDI, 2008."},{"key":"e_1_3_2_1_11_1","unstructured":"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.  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."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187836.2187879"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33167-1_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464462"},{"key":"e_1_3_2_1_15_1","volume-title":"OSDI","author":"Enck W.","year":"2010","unstructured":"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 . 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."},{"key":"e_1_3_2_1_16_1","volume-title":"OSDI","author":"Enck W.","year":"2010","unstructured":"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 . 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."},{"key":"e_1_3_2_1_17_1","volume-title":"USENIX Security","author":"Enck W.","year":"2011","unstructured":"W. Enck , D. Octeau , P. McDaniel , and S. Chaudhuri . A study of android application security . In USENIX Security , 2011 . W. Enck, D. Octeau, P. McDaniel, and S. Chaudhuri. A study of android application security. In USENIX Security, 2011."},{"key":"e_1_3_2_1_18_1","unstructured":"Unhandled exception handler. http:\/\/msdn.microsoft.com\/en-us\/library\/system.appdomain.unhandledexception.aspx.  Unhandled exception handler. http:\/\/msdn.microsoft.com\/en-us\/library\/system.appdomain.unhandledexception.aspx."},{"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.1007\/978-3-642-30921-2_17"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486799"},{"key":"e_1_3_2_1_22_1","unstructured":"Google. UI\/Application Exerciser Monkey. http:\/\/developer.android.com\/tools\/help\/monkey.html.  Google. UI\/Application Exerciser Monkey. http:\/\/developer.android.com\/tools\/help\/monkey.html."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307663"},{"key":"e_1_3_2_1_24_1","unstructured":"GUITAR\n  : A model-based system for automated GUI testing. http:\/\/guitar.sourceforge.net\/.  GUITAR: A model-based system for automated GUI testing. http:\/\/guitar.sourceforge.net\/."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370175.1370207"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2465430"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982612"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483777"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_1_30_1","volume-title":"Usenix ATC","author":"Kwon Y.","year":"2013","unstructured":"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 . 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."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462456.2464459"},{"key":"e_1_3_2_1_32_1","unstructured":"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.  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."},{"key":"e_1_3_2_1_33_1","volume-title":"Microsoft Press","author":"Lidin S.","year":"2002","unstructured":"S. Lidin . Inside Microsoft . NET IL Assembler . Microsoft Press , 2002 . S. Lidin. Inside Microsoft .NET IL Assembler. Microsoft Press, 2002."},{"key":"e_1_3_2_1_34_1","volume-title":"USENIX Security","author":"Livshits B.","year":"2013","unstructured":"B. Livshits and J. Jung . Automatic mediation of privacy-sensitive resource access in smartphone applications . In USENIX Security , 2013 . B. Livshits and J. Jung. Automatic mediation of privacy-sensitive resource access in smartphone applications. In USENIX Security, 2013."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-84800-907-3_16"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382798"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168836.2168841"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2307636.2307661"},{"key":"e_1_3_2_1_40_1","volume-title":"Microsoft Silverlight Edition: Programming Windows Phone 7","author":"Perzold C.","year":"2010","unstructured":"C. Perzold . Microsoft Silverlight Edition: Programming Windows Phone 7 . Microsoft Press , 2010 . C. Perzold. Microsoft Silverlight Edition: Programming Windows Phone 7. Microsoft Press, 2010."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2435349.2435379"},{"key":"e_1_3_2_1_42_1","volume-title":"OSDI","author":"Ravindranath L.","year":"2012","unstructured":"L. Ravindranath : Mobile app performance monitoring in the wild . In OSDI , 2012 . L. Ravindranath et al. Appinsight: Mobile app performance monitoring in the wild. In OSDI, 2012."},{"key":"e_1_3_2_1_43_1","unstructured":"L. Rizzo. Dummynet.  L. Rizzo. Dummynet."},{"key":"e_1_3_2_1_44_1","volume-title":"HotPower","author":"Vekris P.","year":"2012","unstructured":"P. Vekris , R. Jhala , S. Lerner , and Y. Agarwal . Towards verifying android apps for the absence of wakelock energy bugs . In HotPower , 2012 . P. Vekris, R. Jhala, S. Lerner, and Y. Agarwal. Towards verifying android apps for the absence of wakelock energy bugs. In HotPower, 2012."},{"key":"e_1_3_2_1_45_1","volume-title":"NSDI","author":"Wang X. S.","year":"2013","unstructured":"X. S. Wang , A. Balasubramanian , A. Krishnamurthy , and D. Wetherall . Demystifying Page Load Performance with WProf . In NSDI , 2013 . X. S. Wang, A. Balasubramanian, A. Krishnamurthy, and D. Wetherall. Demystifying Page Load Performance with WProf. In NSDI, 2013."},{"key":"e_1_3_2_1_46_1","unstructured":"Xaml. http:\/\/msdn.microsoft.com\/en-us\/library\/ms752059(v=vs.110).aspx.  Xaml. http:\/\/msdn.microsoft.com\/en-us\/library\/ms752059(v=vs.110).aspx."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_19"}],"event":{"name":"MobiSys'14: The 12th Annual International Conference on Mobile Systems, Applications, and Services","sponsor":["SIGMOBILE ACM Special Interest Group on Mobility of Systems, Users, Data and Computing","SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Bretton Woods New Hampshire USA","acronym":"MobiSys'14"},"container-title":["Proceedings of the 12th annual international conference on Mobile systems, applications, and services"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594368.2594377","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594368.2594377","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:02Z","timestamp":1750229762000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594368.2594377"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":47,"alternative-id":["10.1145\/2594368.2594377","10.1145\/2594368"],"URL":"https:\/\/doi.org\/10.1145\/2594368.2594377","relation":{},"subject":[],"published":{"date-parts":[[2014,6,2]]},"assertion":[{"value":"2014-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}