{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:17:41Z","timestamp":1763468261780,"version":"3.40.3"},"publisher-location":"Cham","reference-count":11,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319216898"},{"type":"electronic","value":"9783319216904"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21690-4_28","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T02:08:27Z","timestamp":1436926107000},"page":"455-461","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Systematic Asynchrony Bug Exploration for Android Apps"],"prefix":"10.1007","author":[{"given":"Burcu Kulahcioglu","family":"Ozkan","sequence":"first","affiliation":[]},{"given":"Michael","family":"Emmi","sequence":"additional","affiliation":[]},{"given":"Serdar","family":"Tasiran","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"key":"28_CR1","unstructured":"Anand, S., Naik, M., Harrold, M.J., Yang, H.: Automated concolic testing of smartphone apps. In: Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering. pp. 59:1\u201359:11. FSE 2012, ACM, New York, NY, USA (2012). \n                      http:\/\/doi.acm.org\/10.1145\/2393596.2393666"},{"key":"28_CR2","unstructured":"Azim, T., Neamtiu, I.: Targeted and depth-first exploration for systematic testing of android apps. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications. pp. 641\u2013660. OOPSLA 2013, ACM, New York, NY, USA (2013). \n                      http:\/\/doi.acm.org\/10.1145\/2509136.2509549"},{"key":"28_CR3","unstructured":"Bielik, P.: Effective Race Detection for Android. Master\u2019s thesis, ETH Zurich, Switzerland (2014)"},{"key":"28_CR4","unstructured":"Choi, W., Necula, G., Sen, K.: Guided GUI testing of Android apps with minimal restart and approximate learning. In: Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages and Applications. pp. 623\u2013640. OOPSLA 2013, ACM, New York, NY, USA (2013). \n                      http:\/\/doi.acm.org\/10.1145\/2509136.2509552"},{"key":"28_CR5","unstructured":"Emmi, M., Qadeer, S., Rakamari\u0107, Z.: Delay-bounded scheduling. In: Proceedings of the 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pp. 411\u2013422. POPL 2011, ACM, New York, NY, USA (2011). \n                      http:\/\/doi.acm.org\/10.1145\/1926385.1926432"},{"key":"28_CR6","unstructured":"Gomez, L., Neamtiu, I., Azim, T., Millstein, T.: Reran: Timing- and touch-sensitive record and replay for Android. In: Proceedings of the 2013 International Conference on Software Engineering. pp. 72\u201381. ICSE 2013, IEEE Press, Piscataway, NJ, USA (2013). \n                      http:\/\/dl.acm.org\/citation.cfm?id=2486788.2486799"},{"key":"28_CR7","unstructured":"Hsiao, C.H., Yu, J., Narayanasamy, S., Kong, Z., Pereira, C.L., Pokam, G.A., Chen, P.M., Flinn, J.: Race detection for event-driven mobile applications. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 326\u2013336. PLDI 2014, ACM, New York, NY, USA (2014). \n                      http:\/\/doi.acm.org\/10.1145\/2594291.2594330"},{"key":"28_CR8","unstructured":"Lin, Y., Radoi, C., Dig, D.: Retrofitting concurrency for Android applications through refactoring. In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. pp. 341\u2013352. FSE 2014, ACM, New York, NY, USA (2014). \n                      http:\/\/doi.acm.org\/10.1145\/2635868.2635903"},{"key":"28_CR9","unstructured":"Machiry, A., Tahiliani, R., Naik, M.: Dynodroid: An input generation system for Android apps. In: Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. pp. 224\u2013234. ESEC\/FSE 2013, ACM, New York, NY, USA (2013). \n                      http:\/\/doi.acm.org\/10.1145\/2491411.2491450"},{"key":"28_CR10","unstructured":"Maiya, P., Kanade, A., Majumdar, R.: Race detection for Android applications. In: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 316\u2013325. PLDI 2014, ACM, New York, NY, USA (2014). \n                      http:\/\/doi.acm.org\/10.1145\/2594291.2594311"},{"key":"28_CR11","unstructured":"Musuvathi, M., Qadeer, S.: Iterative context bounding for systematic testing of multithreaded programs. In: Proceedings of the 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 446\u2013455. PLDI 2007, ACM, New York, NY, USA (2007). \n                      http:\/\/doi.acm.org\/10.1145\/1250734.1250785"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21690-4_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,22]],"date-time":"2019-07-22T20:08:57Z","timestamp":1563826137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-21690-4_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319216898","9783319216904"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21690-4_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}