{"id":"https://openalex.org/W2885043017","doi":"https://doi.org/10.1145/3238147.3238170","title":"Efficiently manifesting asynchronous programming errors in Android apps","display_name":"Efficiently manifesting asynchronous programming errors in Android apps","publication_year":2018,"publication_date":"2018-08-20","ids":{"openalex":"https://openalex.org/W2885043017","doi":"https://doi.org/10.1145/3238147.3238170","mag":"2885043017"},"language":"en","primary_location":{"id":"doi:10.1145/3238147.3238170","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3238147.3238170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1808.03178","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Lingling Fan","orcid":null},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lingling Fan","raw_affiliation_strings":["East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Ting Su","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]},{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Ting Su","raw_affiliation_strings":["East China Normal University, China / Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China / Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005","https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Sen Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sen Chen","raw_affiliation_strings":["East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Guozhu Meng","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Guozhu Meng","raw_affiliation_strings":["Chinese Academy of Sciences, China / Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, China / Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yang Liu","orcid":null},"institutions":[{"id":"https://openalex.org/I172675005","display_name":"Nanyang Technological University","ror":"https://ror.org/02e7b5302","country_code":"SG","type":"education","lineage":["https://openalex.org/I172675005"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Yang Liu","raw_affiliation_strings":["Nanyang Technological University, Singapore"],"affiliations":[{"raw_affiliation_string":"Nanyang Technological University, Singapore","institution_ids":["https://openalex.org/I172675005"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Lihua Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I258800397","display_name":"New York University Shanghai","ror":"https://ror.org/02vpsdb40","country_code":"CN","type":"education","lineage":["https://openalex.org/I258800397","https://openalex.org/I57206974"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Lihua Xu","raw_affiliation_strings":["New York University Shanghai, China"],"affiliations":[{"raw_affiliation_string":"New York University Shanghai, China","institution_ids":["https://openalex.org/I258800397"]}]},{"author_position":"last","author":{"id":null,"display_name":"Geguang Pu","orcid":null},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Geguang Pu","raw_affiliation_strings":["East China Normal University, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":5.3061,"has_fulltext":false,"cited_by_count":50,"citation_normalized_percentile":{"value":0.9648849,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"486","last_page":"497"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9865999817848206,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.6488000154495239},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.642300009727478},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.5889999866485596},{"id":"https://openalex.org/keywords/callback","display_name":"Callback","score":0.4722000062465668},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.44369998574256897},{"id":"https://openalex.org/keywords/rendering","display_name":"Rendering (computer graphics)","score":0.3725000023841858}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8323000073432922},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.6488000154495239},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.642300009727478},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.5889999866485596},{"id":"https://openalex.org/C204495577","wikidata":"https://www.wikidata.org/wiki/Q1205349","display_name":"Callback","level":2,"score":0.4722000062465668},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.44369998574256897},{"id":"https://openalex.org/C205711294","wikidata":"https://www.wikidata.org/wiki/Q176953","display_name":"Rendering (computer graphics)","level":2,"score":0.3725000023841858},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.35920000076293945},{"id":"https://openalex.org/C186967261","wikidata":"https://www.wikidata.org/wiki/Q5082128","display_name":"Mobile device","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32330000400543213},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3091000020503998},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.2825999855995178},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.2720000147819519},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.2630000114440918},{"id":"https://openalex.org/C2779089604","wikidata":"https://www.wikidata.org/wiki/Q7169333","display_name":"Permission","level":2,"score":0.2624000012874603}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3238147.3238170","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3238147.3238170","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:1808.03178","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.03178","pdf_url":"https://arxiv.org/pdf/1808.03178","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1808.03178","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1808.03178","pdf_url":"https://arxiv.org/pdf/1808.03178","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2578168424","display_name":null,"funder_award_id":"CRDCG2017-S04","funder_id":"https://openalex.org/F4320333169","funder_display_name":"National Science Foundation, United Arab Emirates"},{"id":"https://openalex.org/G914102573","display_name":null,"funder_award_id":"61502170,61572197,61632005","funder_id":"https://openalex.org/F4320335595","funder_display_name":"National Natural Science Foundation of China-Yunnan Joint Fund"}],"funders":[{"id":"https://openalex.org/F4320333169","display_name":"National Science Foundation, United Arab Emirates","ror":null},{"id":"https://openalex.org/F4320335595","display_name":"National Natural Science Foundation of China-Yunnan Joint Fund","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W176206521","https://openalex.org/W1514703713","https://openalex.org/W1812630525","https://openalex.org/W1986480799","https://openalex.org/W2004921952","https://openalex.org/W2011565812","https://openalex.org/W2013856010","https://openalex.org/W2025786423","https://openalex.org/W2048901322","https://openalex.org/W2055703785","https://openalex.org/W2071751474","https://openalex.org/W2080404640","https://openalex.org/W2083636040","https://openalex.org/W2087248009","https://openalex.org/W2088749975","https://openalex.org/W2091932246","https://openalex.org/W2117184262","https://openalex.org/W2121507867","https://openalex.org/W2124430468","https://openalex.org/W2132231921","https://openalex.org/W2161963160","https://openalex.org/W2164170598","https://openalex.org/W2227887088","https://openalex.org/W2243423430","https://openalex.org/W2356780433","https://openalex.org/W2405628269","https://openalex.org/W2406976408","https://openalex.org/W2463553622","https://openalex.org/W2467090706","https://openalex.org/W2470142710","https://openalex.org/W2517814849","https://openalex.org/W2535143650","https://openalex.org/W2618126787","https://openalex.org/W2739751633","https://openalex.org/W2740742367","https://openalex.org/W2784669118","https://openalex.org/W4250242281"],"related_works":[],"abstract_inverted_index":{"Android,":[0],"the":[1,7,32,63,67,136,162,194],"#1":[2],"mobile":[3],"app":[4],"framework,":[5],"enforces":[6],"single-GUI-thread":[8],"model,":[9,25],"in":[10],"which":[11,86,148],"a":[12,101,179,183],"single":[13],"UI":[14,33,127],"thread":[15,34],"manages":[16],"GUI":[17],"rendering":[18],"and":[19,57,81,105,120,125,131,143,168,170],"event":[20],"dispatching.":[21],"Due":[22],"to":[23,29,41,61,103,113,129,178],"this":[24,95,97],"it":[26],"is":[27,40,112],"vital":[28],"avoid":[30],"blocking":[31],"for":[35],"responsiveness.":[36],"One":[37],"common":[38],"practice":[39],"offload":[42],"long-running":[43],"tasks":[44],"into":[45],"async":[46,54],"threads.":[47],"To":[48,94],"achieve":[49],"this,":[50],"Android":[51,139],"provides":[52],"various":[53],"programming":[55,91],"constructs,":[56],"leaves":[58],"evelopers":[59],"themselves":[60],"obey":[62],"rules":[64,80],"implied":[65],"by":[66],"model.":[68],"However,":[69],"as":[70,89,116],"our":[71],"study":[72],"reveals,":[73],"more":[74,159,191],"than":[75,161,193],"25%":[76],"apps":[77],"violate":[78],"these":[79],"introduce":[82],"hard-to-detect,":[83],"fail-stop":[84],"errors,":[85],"we":[87],"term":[88],"aysnc":[90],"errors":[92,192],"(APEs).":[93],"end,":[96],"paper":[98],"introduces":[99],"APEChecker,":[100],"technique":[102],"automatically":[104],"efficiently":[106],"manifest":[107],"APEs.":[108],"The":[109],"key":[110],"idea":[111],"characterize":[114],"APEs":[115,160],"specific":[117,184],"fault":[118],"patterns,":[119],"synergistically":[121],"combine":[122],"static":[123],"analysis":[124],"dynamic":[126],"exploration":[128],"detect":[130],"verify":[132],"such":[133],"errors.":[134],"Among":[135],"40":[137],"real-world":[138],"apps,":[140],"APEChecker":[141,156,188],"unveils":[142],"processes":[144],"61":[145],"APEs,":[146,187],"of":[147,186],"51":[149],"are":[150],"confirmed":[151],"(83.6%":[152],"hit":[153],"rate).":[154],"Specifically,":[155],"detects":[157],"3X":[158],"state-of-art":[163],"testing":[164,172],"tools":[165],"(Monkey,":[166],"Sapienz":[167],"Stoat),":[169],"reduces":[171],"time":[173],"from":[174],"half":[175],"an":[176],"hour":[177],"few":[180,202],"minutes.":[181],"On":[182],"type":[185],"confirms":[189],"5X":[190],"data":[195],"race":[196],"detection":[197],"tool,":[198],"EventRacer,":[199],"with":[200],"very":[201],"false":[203],"alarms.":[204]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":9},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":10},{"year":2019,"cited_by_count":7},{"year":2018,"cited_by_count":2}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2018-08-22T00:00:00"}