{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:35:01Z","timestamp":1763458501108,"version":"3.45.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,7,18]],"date-time":"2016-07-18T00:00:00Z","timestamp":1468800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"NSF","award":["CNS-1064646"],"award-info":[{"award-number":["CNS-1064646"]}]},{"DOI":"10.13039\/100006754","name":"U.S. Army Research Laboratory","doi-asserted-by":"publisher","award":["W911NF-13-2-0045"],"award-info":[{"award-number":["W911NF-13-2-0045"]}],"id":[{"id":"10.13039\/100006754","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,7,18]]},"DOI":"10.1145\/2931037.2931069","type":"proceedings-article","created":{"date-parts":[[2016,7,7]],"date-time":"2016-07-07T08:33:29Z","timestamp":1467880409000},"page":"377-388","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":25,"title":["Automatically verifying and reproducing event-based races in Android apps"],"prefix":"10.1145","author":[{"given":"Yongjian","family":"Hu","sequence":"first","affiliation":[{"name":"University of California at Riverside, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iulian","family":"Neamtiu","sequence":"additional","affiliation":[{"name":"New Jersey Institute of Technology, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arash","family":"Alavi","sequence":"additional","affiliation":[{"name":"University of California at Riverside, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,7,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"EventRacer Android. http:\/\/eventracer.org\/android\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Android Developers. Activity Lifecycle. http:\/\/developer.android.com\/reference\/android\/app\/ Activity.html."},{"key":"e_1_3_2_1_3_1","unstructured":"Android Developers. SharedPreferences. https:\/\/developer.android.com\/reference\/android\/ content\/SharedPreferences.html."},{"key":"e_1_3_2_1_4_1","unstructured":"Android Developers. Transmitting Network Data Using Volley. https: \/\/developer.android.com\/training\/volley\/index.html."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150997"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254095"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814303"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814293"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809028.1806626"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509519"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","unstructured":"G. W. Dunlap S. T. King S. Cinar M. A. Basrai and P. M. Chen. Revirt: enabling intrusion analysis through virtual-machine logging and replay. In OSDI\u201902.","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945468"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040315"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486799"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","unstructured":"Z. Guo X. Wang J. Tang X. Liu Z. Xu M. Wu M. F. Kaashoek and Z. Zhang. R2: An application-level kernel for record and replay. In OSDI\u201908.","DOI":"10.5555\/1855741.1855755"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPASS.2015.7095807"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594330"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814320"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814282"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594311"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","unstructured":"S. Narayanasamy G. Pokam and B. Calder. Bugnet: Continuously recording program execution for deterministic replay debugging. In ISCA \u201905. 10.1109\/ISCA.2005.16","DOI":"10.1109\/ISCA.2005.16"},{"key":"e_1_3_2_1_23_1","first-page":"461","volume-title":"Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, chapter Systematic Asynchrony Bug Exploration for Android Apps","author":"Ozkan B. K.","unstructured":"B. K. Ozkan, M. Emmi, and S. Tasiran. Computer Aided Verification: 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, chapter Systematic Asynchrony Bug Exploration for Android Apps, pages 455\u2013461. Springer International Publishing, Cham, 2015."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509538"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/312203.312214"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250738"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","unstructured":"S. T. King G. W. Dunlap and P. M. Chen. Debugging operating systems with time-traveling virtual machines. In USENIX ATC\u201905.","DOI":"10.5555\/1247360.1247361"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287654"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544137.2544152"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/2002181.2002211"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2745802.2745808"}],"event":{"name":"ISSTA '16: International Symposium on Software Testing and Analysis","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Saarbr\u00fccken Germany","acronym":"ISSTA '16"},"container-title":["Proceedings of the 25th International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931069","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2931037.2931069","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2931037.2931069","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:30:16Z","timestamp":1763458216000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2931037.2931069"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,7,18]]},"references-count":32,"alternative-id":["10.1145\/2931037.2931069","10.1145\/2931037"],"URL":"https:\/\/doi.org\/10.1145\/2931037.2931069","relation":{},"subject":[],"published":{"date-parts":[[2016,7,18]]},"assertion":[{"value":"2016-07-18","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}