{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T03:28:47Z","timestamp":1769743727768,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":90,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,3]],"date-time":"2018-09-03T00:00:00Z","timestamp":1535932800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100011002","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61502170,61572197,61632005"],"award-info":[{"award-number":["61502170,61572197,61632005"]}],"id":[{"id":"10.13039\/501100011002","id-type":"DOI","asserted-by":"publisher"}]},{"name":"STCSM Project","award":["16DZ1100600"],"award-info":[{"award-number":["16DZ1100600"]}]},{"DOI":"10.13039\/100011512","name":"National Research Foundation","doi-asserted-by":"publisher","award":["CRDCG2017-S04"],"award-info":[{"award-number":["CRDCG2017-S04"]}],"id":[{"id":"10.13039\/100011512","id-type":"DOI","asserted-by":"publisher"}]},{"name":"MOST NKTSP Project","award":["2015BAG19B02"],"award-info":[{"award-number":["2015BAG19B02"]}]},{"name":"NTU Research","award":["NGF-2017-03-033"],"award-info":[{"award-number":["NGF-2017-03-033"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,3]]},"DOI":"10.1145\/3238147.3238170","type":"proceedings-article","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T20:04:36Z","timestamp":1534795476000},"page":"486-497","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Efficiently manifesting asynchronous programming errors in Android apps"],"prefix":"10.1145","author":[{"given":"Lingling","family":"Fan","sequence":"first","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ting","family":"Su","sequence":"additional","affiliation":[{"name":"East China Normal University, China \/ Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sen","family":"Chen","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guozhu","family":"Meng","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences, China \/ Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lihua","family":"Xu","sequence":"additional","affiliation":[{"name":"New York University Shanghai, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geguang","family":"Pu","sequence":"additional","affiliation":[{"name":"East China Normal University, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771786"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2351676.2351717"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.55"},{"key":"e_1_3_2_1_4_1","volume-title":"Verif. Reliab. 28, 1","author":"Amalfitano Domenico","year":"2018","unstructured":"Domenico Amalfitano , Vincenzo Riccio , Ana C. R. Paiva , and Anna Rita Fasolino . 2018. Why does the orientation change mess up my Android application? From GUI failures to code faults. Softw. Test ., Verif. Reliab. 28, 1 ( 2018 ). Domenico Amalfitano, Vincenzo Riccio, Ana C. R. Paiva, and Anna Rita Fasolino. 2018. Why does the orientation change mess up my Android application? From GUI failures to code faults. Softw. Test., Verif. Reliab. 28, 1 (2018)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393666"},{"key":"e_1_3_2_1_6_1","unstructured":"Apple. 2018. App Programming Guide for iOS. Retrieved 2018-7 from https: \/\/developer.apple.com\/library\/content\/navigation\/  Apple. 2018. App Programming Guide for iOS. Retrieved 2018-7 from https: \/\/developer.apple.com\/library\/content\/navigation\/"},{"key":"e_1_3_2_1_7_1","unstructured":"Apple. 2018. MacOS Cocoa. Retrieved 2018-7 from https:\/\/developer.apple.com\/ macos\/  Apple. 2018. MacOS Cocoa. Retrieved 2018-7 from https:\/\/developer.apple.com\/ macos\/"},{"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":"Proceedings of the 23rd USENIX Conference on Security Symposium (SEC\u201914)","author":"Bhoraskar Ravi","year":"2014","unstructured":"Ravi Bhoraskar , Seungyeop Han , Jinseong Jeon , Tanzirul Azim , Shuo Chen , Jaeyeon Jung , Suman Nath , Rui Wang , and David Wetherall . 2014 . Brahmastra: Driving Apps to Test the Security of Third-party Components . In Proceedings of the 23rd USENIX Conference on Security Symposium (SEC\u201914) . USENIX Association, Berkeley, CA, USA, 1021\u20131036. Ravi Bhoraskar, Seungyeop Han, Jinseong Jeon, Tanzirul Azim, Shuo Chen, Jaeyeon Jung, Suman Nath, Rui Wang, and David Wetherall. 2014. Brahmastra: Driving Apps to Test the Security of Third-party Components. In Proceedings of the 23rd USENIX Conference on Security Symposium (SEC\u201914). USENIX Association, Berkeley, CA, USA, 1021\u20131036."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814303"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509552"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.89"},{"key":"e_1_3_2_1_13_1","unstructured":"CodePath. 2018. CodePath Android Cliffnotes. Retrieved 2018-7 from http: \/\/guides.codepath.com\/android  CodePath. 2018. CodePath Android Cliffnotes. Retrieved 2018-7 from http: \/\/guides.codepath.com\/android"},{"key":"e_1_3_2_1_14_1","unstructured":"Apktool developers. 2018. A tool for reverse engineering Android apk files. Retrieved 2018-7 from https:\/\/ibotpeaches.github.io\/Apktool\/  Apktool developers. 2018. A tool for reverse engineering Android apk files. Retrieved 2018-7 from https:\/\/ibotpeaches.github.io\/Apktool\/"},{"key":"e_1_3_2_1_15_1","unstructured":"Adsdroid Developers. 2018. Adsdroid. Retrieved 2018-7 from https:\/\/github. com\/dnet\/adsdroid  Adsdroid Developers. 2018. Adsdroid. Retrieved 2018-7 from https:\/\/github. com\/dnet\/adsdroid"},{"key":"e_1_3_2_1_16_1","unstructured":"Android Gisapp Developers. 2018. Android Gisapp. Retrieved 2018-7 from https:\/\/github.com\/nextgis\/android_gisapp  Android Gisapp Developers. 2018. Android Gisapp. Retrieved 2018-7 from https:\/\/github.com\/nextgis\/android_gisapp"},{"key":"e_1_3_2_1_17_1","unstructured":"Privacy Friendly Pedometer Developers. 2018. Privacy Friendly Pedometer. Retrieved 2018-7 from https:\/\/github.com\/SecUSo\/privacy-friendly-pedometer  Privacy Friendly Pedometer Developers. 2018. Privacy Friendly Pedometer. Retrieved 2018-7 from https:\/\/github.com\/SecUSo\/privacy-friendly-pedometer"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180222"},{"key":"e_1_3_2_1_19_1","unstructured":"FindBugs. 2018. FindBugs. Retrieved 2018-7 from http:\/\/findbugs.sourceforge. net\/  FindBugs. 2018. FindBugs. Retrieved 2018-7 from http:\/\/findbugs.sourceforge. net\/"},{"key":"e_1_3_2_1_20_1","volume-title":"35th International Conference on Software Engineering, ICSE \u201913","author":"Gomez Lorenzo","year":"2013","unstructured":"Lorenzo Gomez , Iulian Neamtiu , Tanzirul Azim , and Todd D. Millstein . 2013. RERAN: timing- and touch-sensitive record and replay for Android . In 35th International Conference on Software Engineering, ICSE \u201913 , San Francisco, CA, USA , May 18-26, 2013 . 72\u201381. Lorenzo Gomez, Iulian Neamtiu, Tanzirul Azim, and Todd D. Millstein. 2013. RERAN: timing- and touch-sensitive record and replay for Android. In 35th International Conference on Software Engineering, ICSE \u201913, San Francisco, CA, USA, May 18-26, 2013. 72\u201381."},{"key":"e_1_3_2_1_21_1","unstructured":"Google. 2018. Activity Lifecycle. Retrieved 2018-7 from https:\/\/developer.android. com\/guide\/components\/activities\/activity-lifecycle.html  Google. 2018. Activity Lifecycle. Retrieved 2018-7 from https:\/\/developer.android. com\/guide\/components\/activities\/activity-lifecycle.html"},{"key":"e_1_3_2_1_22_1","unstructured":"Google. 2018. Android Debug Bridge. Retrieved 2018-7 from https:\/\/developer. android.com\/studio\/command-line\/adb.html  Google. 2018. Android Debug Bridge. Retrieved 2018-7 from https:\/\/developer. android.com\/studio\/command-line\/adb.html"},{"key":"e_1_3_2_1_23_1","unstructured":"Google. 2018. Android Developers Documentation. Retrieved 2018-7 from https:\/\/developer.android.com  Google. 2018. Android Developers Documentation. Retrieved 2018-7 from https:\/\/developer.android.com"},{"key":"e_1_3_2_1_24_1","unstructured":"Google. 2018. Android Lint Checks. Retrieved 2018-7 from http:\/\/tools.android. com\/tips\/lint-checks  Google. 2018. Android Lint Checks. Retrieved 2018-7 from http:\/\/tools.android. com\/tips\/lint-checks"},{"key":"e_1_3_2_1_25_1","unstructured":"Google. 2018. Android Platform. Retrieved 2018-7 from https:\/\/www.android. com\/  Google. 2018. Android Platform. Retrieved 2018-7 from https:\/\/www.android. com\/"},{"key":"e_1_3_2_1_26_1","unstructured":"Google. 2018. Android UI Automator. Retrieved 2018-7 from http:\/\/developer. android.com\/tools\/help\/uiautomator\/index.html  Google. 2018. Android UI Automator. Retrieved 2018-7 from http:\/\/developer. android.com\/tools\/help\/uiautomator\/index.html"},{"key":"e_1_3_2_1_27_1","unstructured":"Google. 2018. AsyncTask. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/android\/os\/AsyncTask.html  Google. 2018. AsyncTask. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/android\/os\/AsyncTask.html"},{"key":"e_1_3_2_1_28_1","unstructured":"Google. 2018. Dialogs. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/topics\/ui\/dialogs.html  Google. 2018. Dialogs. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/topics\/ui\/dialogs.html"},{"key":"e_1_3_2_1_29_1","unstructured":"Google. 2018. DroidRacer. Retrieved 2018-7 from https:\/\/bitbucket.org\/iiscseal\/ droidracer  Google. 2018. DroidRacer. Retrieved 2018-7 from https:\/\/bitbucket.org\/iiscseal\/ droidracer"},{"key":"e_1_3_2_1_30_1","unstructured":"Google. 2018. Fragment Lifecycle. Retrieved 2018-7 from https:\/\/developer. android.com\/guide\/components\/fragments.html  Google. 2018. Fragment Lifecycle. Retrieved 2018-7 from https:\/\/developer. android.com\/guide\/components\/fragments.html"},{"key":"e_1_3_2_1_31_1","unstructured":"Google. 2018. Fragment Transactions and Activity State Loss. Retrieved 2018-7 from https:\/\/www.androiddesignpatterns.com\/2013\/08\/ fragment-transaction-commit-state-loss.html  Google. 2018. Fragment Transactions and Activity State Loss. Retrieved 2018-7 from https:\/\/www.androiddesignpatterns.com\/2013\/08\/ fragment-transaction-commit-state-loss.html"},{"key":"e_1_3_2_1_32_1","unstructured":"Google. 2018. Handler. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/android\/os\/Handler.html  Google. 2018. Handler. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/android\/os\/Handler.html"},{"key":"e_1_3_2_1_33_1","unstructured":"Google. 2018. HandlerThread. Retrieved 2018-7 from https:\/\/developer.android. com\/reference\/android\/os\/HandlerThread.html  Google. 2018. HandlerThread. Retrieved 2018-7 from https:\/\/developer.android. com\/reference\/android\/os\/HandlerThread.html"},{"key":"e_1_3_2_1_34_1","unstructured":"Google. 2018. IntentService. Retrieved 2018-7 from https:\/\/developer.android. com\/reference\/android\/app\/IntentService.html  Google. 2018. IntentService. Retrieved 2018-7 from https:\/\/developer.android. com\/reference\/android\/app\/IntentService.html"},{"key":"e_1_3_2_1_35_1","unstructured":"Google. 2018. Lint. Retrieved 2018-7 from https:\/\/developer.android.com\/studio\/ write\/lint.html  Google. 2018. Lint. Retrieved 2018-7 from https:\/\/developer.android.com\/studio\/ write\/lint.html"},{"key":"e_1_3_2_1_36_1","unstructured":"Google. 2018. List View. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/topics\/ui\/layout\/listview.html  Google. 2018. List View. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/topics\/ui\/layout\/listview.html"},{"key":"e_1_3_2_1_37_1","unstructured":"Google. 2018. Loaders. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/components\/loaders.html  Google. 2018. Loaders. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/components\/loaders.html"},{"key":"e_1_3_2_1_38_1","unstructured":"Google. 2018. Looper. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/android\/os\/Looper.html  Google. 2018. Looper. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/android\/os\/Looper.html"},{"key":"e_1_3_2_1_39_1","unstructured":"Google. 2018. Monkey. Retrieved 2018-7 from http:\/\/developer.android.com\/ tools\/help\/monkey.html  Google. 2018. Monkey. Retrieved 2018-7 from http:\/\/developer.android.com\/ tools\/help\/monkey.html"},{"key":"e_1_3_2_1_40_1","unstructured":"Google. 2018. Processes and Threads. Retrieved 2018-7 from https:\/\/developer. android.com\/guide\/components\/processes-and-threads.html  Google. 2018. Processes and Threads. Retrieved 2018-7 from https:\/\/developer. android.com\/guide\/components\/processes-and-threads.html"},{"key":"e_1_3_2_1_41_1","unstructured":"Google. 2018. Thread. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/java\/lang\/Thread.html  Google. 2018. Thread. Retrieved 2018-7 from https:\/\/developer.android.com\/ reference\/java\/lang\/Thread.html"},{"key":"e_1_3_2_1_42_1","unstructured":"Google. 2018. ThreadPoolExecutor. Retrieved 2018-7 from https:\/\/developer. android.com\/reference\/java\/util\/concurrent\/ThreadPoolExecutor.html  Google. 2018. ThreadPoolExecutor. Retrieved 2018-7 from https:\/\/developer. android.com\/reference\/java\/util\/concurrent\/ThreadPoolExecutor.html"},{"key":"e_1_3_2_1_43_1","unstructured":"Google. 2018. Toasts. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/topics\/ui\/notifiers\/toasts.html  Google. 2018. Toasts. Retrieved 2018-7 from https:\/\/developer.android.com\/ guide\/topics\/ui\/notifiers\/toasts.html"},{"key":"e_1_3_2_1_44_1","unstructured":"Simone Graziussi. 2016. Lifecycle and Event-Based Testing for Android Applications. Master\u2019s thesis. School Of Industrial Engineering and Information Politecnico.  Simone Graziussi. 2016. Lifecycle and Event-Based Testing for Android Applications. Master\u2019s thesis. School Of Industrial Engineering and Information Politecnico."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594330"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982612"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931069"},{"key":"e_1_3_2_1_48_1","unstructured":"JDK. 2018. JDK Swing Platform. Retrieved 2018-7 from https:\/\/docs.oracle.com\/ javase\/7\/docs\/technotes\/guides\/swing\/  JDK. 2018. JDK Swing Platform. Retrieved 2018-7 from https:\/\/docs.oracle.com\/ javase\/7\/docs\/technotes\/guides\/swing\/"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483777"},{"key":"e_1_3_2_1_50_1","unstructured":"67\u201377.  67\u201377."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2896921.2896930"},{"key":"e_1_3_2_1_52_1","volume-title":"Understanding the Test Automation Culture of App Developers. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015","author":"Kochhar Pavneet Singh","year":"2015","unstructured":"Pavneet Singh Kochhar , Ferdian Thung , Nachiappan Nagappan , Thomas Zimmermann , and David Lo . 2015 . Understanding the Test Automation Culture of App Developers. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 , Graz, Austria , April 13-17, 2015. 1\u201310. Pavneet Singh Kochhar, Ferdian Thung, Nachiappan Nagappan, Thomas Zimmermann, and David Lo. 2015. Understanding the Test Automation Culture of App Developers. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015. 1\u201310."},{"key":"e_1_3_2_1_53_1","volume-title":"Effectively Manifesting Concurrency Bugs in Android Apps. In 23rd Asia-Pacific Software Engineering Conference, APSEC 2016","author":"Li Qiwei","year":"2016","unstructured":"Qiwei Li , Yanyan Jiang , Tianxiao Gu , Chang Xu , Jun Ma , Xiaoxing Ma , and Jian Lu . 2016 . Effectively Manifesting Concurrency Bugs in Android Apps. In 23rd Asia-Pacific Software Engineering Conference, APSEC 2016 , Hamilton, New Zealand , December 6-9, 2016. 209\u2013216. Qiwei Li, Yanyan Jiang, Tianxiao Gu, Chang Xu, Jun Ma, Xiaoxing Ma, and Jian Lu. 2016. Effectively Manifesting Concurrency Bugs in Android Apps. In 23rd Asia-Pacific Software Engineering Conference, APSEC 2016, Hamilton, New Zealand, December 6-9, 2016. 209\u2013216."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.50"},{"key":"e_1_3_2_1_55_1","unstructured":"224\u2013235.  224\u2013235."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635903"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106275"},{"key":"e_1_3_2_1_58_1","volume-title":"SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. 95\u2013111","author":"Ma Kin-Keung","year":"2011","unstructured":"Kin-Keung Ma , Yit Phang Khoo , Jeffrey S. Foster , and Michael Hicks . 2011 . Directed Symbolic Execution. In Static Analysis - 18th International Symposium , SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. 95\u2013111 . Kin-Keung Ma, Yit Phang Khoo, Jeffrey S. Foster, and Michael Hicks. 2011. Directed Symbolic Execution. In Static Analysis - 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings. 95\u2013111."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491450"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635896"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594311"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931054"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155569"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884853"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382798"},{"key":"e_1_3_2_1_66_1","volume-title":"Reporting and Reproducing Android Application Crashes. In 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016","author":"Moran Kevin","year":"2016","unstructured":"Kevin Moran , Mario Linares V\u00e1squez , Carlos Bernal-C\u00e1rdenas , Christopher Vendome , and Denys Poshyvanyk . 2016 . Automatically Discovering , Reporting and Reproducing Android Application Crashes. In 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016 , Chicago, IL, USA , April 11-15, 2016. 33\u201344. Kevin Moran, Mario Linares V\u00e1squez, Carlos Bernal-C\u00e1rdenas, Christopher Vendome, and Denys Poshyvanyk. 2016. Automatically Discovering, Reporting and Reproducing Android Application Crashes. In 2016 IEEE International Conference on Software Testing, Verification and Validation, ICST 2016, Chicago, IL, USA, April 11-15, 2016. 33\u201344."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818767"},{"key":"e_1_3_2_1_68_1","volume-title":"CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 455\u2013461","author":"Ozkan Burcu Kulahcioglu","year":"2015","unstructured":"Burcu Kulahcioglu Ozkan , Michael Emmi , and Serdar Tasiran . 2015 . Systematic Asynchrony Bug Exploration for Android Apps. In Computer Aided Verification - 27th International Conference , CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 455\u2013461 . Burcu Kulahcioglu Ozkan, Michael Emmi, and Serdar Tasiran. 2015. Systematic Asynchrony Bug Exploration for Android Apps. In Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. 455\u2013461."},{"key":"e_1_3_2_1_69_1","unstructured":"PMD. 2018. PMD. Retrieved 2018-7 from https:\/\/pmd.github.io\/  PMD. 2018. PMD. Retrieved 2018-7 from https:\/\/pmd.github.io\/"},{"key":"e_1_3_2_1_70_1","unstructured":"Qt. 2018. Qt. Retrieved 2018-7 from https:\/\/www.qt.io\/  Qt. 2018. Qt. Retrieved 2018-7 from https:\/\/www.qt.io\/"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.35"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544159"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786836"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2931068"},{"key":"e_1_3_2_1_75_1","volume-title":"ConDroid: Targeted Dynamic Analysis of Android Applications. In 29th IEEE International Conference on Advanced Information Networking and Applications, AINA 2015","author":"Sch\u00fctte Julian","year":"2015","unstructured":"Julian Sch\u00fctte , Rafael Fedler , and Dennis Titze . 2015 . ConDroid: Targeted Dynamic Analysis of Android Applications. In 29th IEEE International Conference on Advanced Information Networking and Applications, AINA 2015 , Gwangju, South Korea , March 24-27, 2015. 571\u2013578. Julian Sch\u00fctte, Rafael Fedler, and Dennis Titze. 2015. ConDroid: Targeted Dynamic Analysis of Android Applications. In 29th IEEE International Conference on Advanced Information Networking and Applications, AINA 2015, Gwangju, South Korea, March 24-27, 2015. 571\u2013578."},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984011"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.5555\/3155562.3155570"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2891043"},{"key":"e_1_3_2_1_79_1","volume-title":"Combining Symbolic Execution and Model Checking for Data Flow Testing. In 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015","volume":"1","author":"Su Ting","year":"2015","unstructured":"Ting Su , Zhoulai Fu , Geguang Pu , Jifeng He , and Zhendong Su . 2015 . Combining Symbolic Execution and Model Checking for Data Flow Testing. In 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015 , Florence, Italy , May 16-24, 2015, Volume 1 . 654\u2013665. Ting Su, Zhoulai Fu, Geguang Pu, Jifeng He, and Zhendong Su. 2015. Combining Symbolic Execution and Model Checking for Data Flow Testing. In 37th IEEE\/ACM International Conference on Software Engineering, ICSE 2015, Florence, Italy, May 16-24, 2015, Volume 1. 654\u2013665."},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106298"},{"key":"e_1_3_2_1_81_1","unstructured":"SWT. 2018. SWT. Retrieved 2018-7 from https:\/\/www.eclipse.org\/swt\/  SWT. 2018. SWT. Retrieved 2018-7 from https:\/\/www.eclipse.org\/swt\/"},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970320"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.5555\/781995.782008"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/2382756.2382797"},{"key":"e_1_3_2_1_85_1","volume-title":"Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios. In 12th IEEE\/ACM Working Conference on Mining Software Repositories, MSR 2015","author":"V\u00e1squez Mario Linares","year":"2015","unstructured":"Mario Linares V\u00e1squez , Martin White , Carlos Bernal-C\u00e1rdenas , Kevin Moran , and Denys Poshyvanyk . 2015 . Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios. In 12th IEEE\/ACM Working Conference on Mining Software Repositories, MSR 2015 , Florence, Italy , May 16-17, 2015. 111\u2013122. Mario Linares V\u00e1squez, Martin White, Carlos Bernal-C\u00e1rdenas, Kevin Moran, and Denys Poshyvanyk. 2015. Mining Android App Usages for Generating Actionable GUI-Based Execution Scenarios. In 12th IEEE\/ACM Working Conference on Mining Software Repositories, MSR 2015, Florence, Italy, May 16-17, 2015. 111\u2013122."},{"key":"e_1_3_2_1_86_1","unstructured":"wxErlang. 2018. wxErlang. Retrieved 2018-7 from http:\/\/erlang.org\/doc\/apps\/ wx\/index.html  wxErlang. 2018. wxErlang. Retrieved 2018-7 from http:\/\/erlang.org\/doc\/apps\/ wx\/index.html"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37057-1_19"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2014.31"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/2652483"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336782"}],"event":{"name":"ASE '18: 33rd ACM\/IEEE International Conference on Automated Software Engineering","location":"Montpellier France","acronym":"ASE '18","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","CNRS Centre National De La Rechercue Scientifique","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 33rd ACM\/IEEE International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238170","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3238147.3238170","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:35Z","timestamp":1750210775000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3238147.3238170"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,3]]},"references-count":90,"alternative-id":["10.1145\/3238147.3238170","10.1145\/3238147"],"URL":"https:\/\/doi.org\/10.1145\/3238147.3238170","relation":{},"subject":[],"published":{"date-parts":[[2018,9,3]]},"assertion":[{"value":"2018-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}