{"id":"https://openalex.org/W3206846523","doi":"https://doi.org/10.1145/3485533","title":"Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs","display_name":"Fully automated functional fuzzing of Android apps for detecting non-crashing logic bugs","publication_year":2021,"publication_date":"2021-10-15","ids":{"openalex":"https://openalex.org/W3206846523","doi":"https://doi.org/10.1145/3485533","mag":"3206846523"},"language":"en","primary_location":{"id":"doi:10.1145/3485533","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485533","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485533","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3485533","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5043441209","display_name":"Ting Su","orcid":"https://orcid.org/0000-0003-1628-9796"},"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":"Ting Su","raw_affiliation_strings":["East China Normal University, China"],"raw_orcid":"https://orcid.org/0000-0003-1628-9796","affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103163018","display_name":"Yichen Yan","orcid":"https://orcid.org/0009-0009-7620-4214"},"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":"Yichen Yan","raw_affiliation_strings":["East China Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100440594","display_name":"Jue Wang","orcid":"https://orcid.org/0000-0001-9866-2624"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jue Wang","raw_affiliation_strings":["Nanjing University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Nanjing University, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029629116","display_name":"Jingling Sun","orcid":"https://orcid.org/0000-0002-8437-0687"},"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":"Jingling Sun","raw_affiliation_strings":["East China Normal University, China"],"raw_orcid":"https://orcid.org/0000-0002-8437-0687","affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056144530","display_name":"Yiheng Xiong","orcid":"https://orcid.org/0009-0006-9467-4891"},"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":"Yiheng Xiong","raw_affiliation_strings":["East China Normal University, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054490662","display_name":"Geguang Pu","orcid":"https://orcid.org/0000-0001-9750-8334"},"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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"East China Normal University, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100734597","display_name":"Ke Wang","orcid":"https://orcid.org/0000-0001-8561-5132"},"institutions":[{"id":"https://openalex.org/I4210148469","display_name":"Visa (United States)","ror":"https://ror.org/05t1y0b59","country_code":"US","type":"company","lineage":["https://openalex.org/I4210148469"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ke Wang","raw_affiliation_strings":["Visa Research, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Visa Research, USA","institution_ids":["https://openalex.org/I4210148469"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ETH Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":13.2751,"has_fulltext":true,"cited_by_count":59,"citation_normalized_percentile":{"value":0.99181387,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":99,"max":100},"biblio":{"volume":"5","issue":"OOPSLA","first_page":"1","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991999864578247,"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/T10260","display_name":"Software Engineering Research","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/fuzz-testing","display_name":"Fuzz testing","score":0.8920215964317322},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.7903148531913757},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7163125872612},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.618692934513092},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.5640386939048767},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.47861284017562866},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4436710476875305},{"id":"https://openalex.org/keywords/crash","display_name":"Crash","score":0.44094762206077576},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4115505516529083},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.22359222173690796},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21218007802963257},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18768194317817688}],"concepts":[{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.8920215964317322},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.7903148531913757},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7163125872612},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.618692934513092},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.5640386939048767},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.47861284017562866},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4436710476875305},{"id":"https://openalex.org/C183469790","wikidata":"https://www.wikidata.org/wiki/Q333501","display_name":"Crash","level":2,"score":0.44094762206077576},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4115505516529083},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.22359222173690796},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21218007802963257},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18768194317817688}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3485533","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485533","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485533","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3485533","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3485533","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3485533","source":{"id":"https://openalex.org/S4210216081","display_name":"Proceedings of the ACM on Programming Languages","issn_l":"2475-1421","issn":["2475-1421"],"is_oa":true,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Programming Languages","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5699999928474426}],"awards":[{"id":"https://openalex.org/G3442037871","display_name":null,"funder_award_id":"61690204","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5043132211","display_name":null,"funder_award_id":"62072178","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3206846523.pdf","grobid_xml":"https://content.openalex.org/works/W3206846523.grobid-xml"},"referenced_works_count":76,"referenced_works":["https://openalex.org/W176206521","https://openalex.org/W1514703713","https://openalex.org/W1812630525","https://openalex.org/W1964446022","https://openalex.org/W1976373002","https://openalex.org/W1978478796","https://openalex.org/W1996574389","https://openalex.org/W2013856010","https://openalex.org/W2027999475","https://openalex.org/W2028916132","https://openalex.org/W2041650849","https://openalex.org/W2041713059","https://openalex.org/W2043811931","https://openalex.org/W2055703785","https://openalex.org/W2071751474","https://openalex.org/W2087248009","https://openalex.org/W2091932246","https://openalex.org/W2104993088","https://openalex.org/W2121504314","https://openalex.org/W2121507867","https://openalex.org/W2124430468","https://openalex.org/W2126627822","https://openalex.org/W2146174626","https://openalex.org/W2146511370","https://openalex.org/W2160757044","https://openalex.org/W2161963160","https://openalex.org/W2164170598","https://openalex.org/W2170737051","https://openalex.org/W2227887088","https://openalex.org/W2324595780","https://openalex.org/W2356780433","https://openalex.org/W2463553622","https://openalex.org/W2493109812","https://openalex.org/W2514303331","https://openalex.org/W2532737545","https://openalex.org/W2535143650","https://openalex.org/W2621123093","https://openalex.org/W2740742367","https://openalex.org/W2753696847","https://openalex.org/W2767304105","https://openalex.org/W2767357513","https://openalex.org/W2767532007","https://openalex.org/W2767816545","https://openalex.org/W2782311202","https://openalex.org/W2784669118","https://openalex.org/W2794475704","https://openalex.org/W2796119406","https://openalex.org/W2799169662","https://openalex.org/W2854345383","https://openalex.org/W2884403759","https://openalex.org/W2885043017","https://openalex.org/W2888272748","https://openalex.org/W2888524305","https://openalex.org/W2890086692","https://openalex.org/W2898508426","https://openalex.org/W2899070402","https://openalex.org/W2955215835","https://openalex.org/W2962425620","https://openalex.org/W2963011053","https://openalex.org/W2963139460","https://openalex.org/W2963327228","https://openalex.org/W2969210543","https://openalex.org/W2999119789","https://openalex.org/W3000438717","https://openalex.org/W3045466629","https://openalex.org/W3046919285","https://openalex.org/W3091089987","https://openalex.org/W3091518781","https://openalex.org/W3091987644","https://openalex.org/W3100035639","https://openalex.org/W3102181655","https://openalex.org/W3102847692","https://openalex.org/W3105413283","https://openalex.org/W3107418514","https://openalex.org/W3178676396","https://openalex.org/W3195818176"],"related_works":["https://openalex.org/W614438062","https://openalex.org/W2740264376","https://openalex.org/W4205454537","https://openalex.org/W4206999239","https://openalex.org/W4226494072","https://openalex.org/W4381785649","https://openalex.org/W3173990398","https://openalex.org/W4385301282","https://openalex.org/W3170526652","https://openalex.org/W2900719967"],"abstract_inverted_index":{"Android":[0,147,165,270],"apps":[1,166,190,271],"are":[2,51,62,244,300],"GUI-based":[3],"event-driven":[4],"software":[5],"and":[6,47,69,106,232,238,248,272,289,302,314,361,366],"have":[7,207,264,286,291,303],"become":[8],"ubiquitous":[9],"in":[10,23,36,54,85,146,280],"recent":[11],"years.":[12],"Obviously,":[13],"functional":[14,29,60,144,200,215,253],"correctness":[15],"is":[16,156],"critical":[17],"for":[18,141,202,309,370],"an":[19,212,220],"app\u2019s":[20],"success.":[21],"However,":[22],"addition":[24],"to":[25,115,157,167,251,325],"crash":[26,116,371],"bugs,":[27],"non-crashing":[28,59,143,226,242,278,340],"bugs":[30,61,81,117,145,201,227,243,279,299,341],"(in":[31],"short":[32],"as":[33,211],"\u201cnon-crashing":[34],"bugs\u201d":[35],"this":[37,128],"work)":[38],"like":[39],"inadvertent":[40],"function":[41],"failures,":[42],"silent":[43],"user":[44,75],"data":[45],"lost":[46],"incorrect":[48],"display":[49],"information":[50],"prevalent,":[52],"even":[53],"popular,":[55],"well-tested":[56],"apps.":[57,148],"These":[58],"usually":[63],"caused":[64],"by":[65,130,150,346],"program":[66],"logic":[67],"errors":[68],"manifest":[70],"themselves":[71],"on":[72,95,267],"the":[73,101,119,159,188,240,297],"graphic":[74],"interfaces":[76],"(GUIs).":[77],"In":[78],"practice,":[79],"such":[80],"pose":[82],"significant":[83],"challenges":[84],"effectively":[86],"detecting":[87,142],"them":[88],"because":[89],"(1)":[90,222],"current":[91],"practices":[92],"heavily":[93],"rely":[94],"expensive,":[96],"small-scale":[97],"manual":[98,204,364],"validation":[99],"(":[100,118],"lack":[102,120],"of":[103,121,164,175,296,335],"automation":[104],");":[105,237],"(2)":[107,239],"modern":[108],"fully":[109,138,235,348,367],"automated":[110,139,236,349,368],"testing":[111,308,351,365,369],"has":[112],"been":[113,287,293],"limited":[114,250],"test":[122],"oracles":[123,233],").":[124],"This":[125],"paper":[126],"fills":[127],"gap":[129],"introducing":[131],"independent":[132,161],"view":[133,162],"fuzzing":[134,216],",":[135],"a":[136,173,330],"novel,":[137],"approach":[140,210],"Inspired":[149],"metamorphic":[151],"testing,":[152],"our":[153,209,326,354,358],"key":[154],"insight":[155],"leverage":[158],"commonly-held":[160],"property":[163,196],"manufacture":[168],"property-preserving":[169],"mutant":[170],"tests":[171,177,185,231],"from":[172,260],"set":[174,257],"seed":[176],"that":[178],"validate":[179],"certain":[180],"app":[181,317],"properties.":[182],"The":[183],"mutated":[184],"help":[186],"exercise":[187],"tested":[189],"under":[191],"additional,":[192],"adverse":[193],"conditions.":[194],"Any":[195],"violations":[197],"indicate":[198],"likely":[199],"further":[203],"confirmation.":[205],"We":[206,263],"realized":[208],"automated,":[213],"end-to-end":[214],"tool,":[217],"Genie.":[218],"Given":[219],"app,":[221],"Genie":[223,258,266,328],"automatically":[224],"detects":[225],"without":[228],"requiring":[229],"human-provided":[230],"(thus":[234,246],"detected":[241,298,345],"diverse":[245],"general":[247],"not":[249,343],"specific":[252],"properties":[254],"),":[255],"which":[256],"apart":[259],"prior":[261,347],"work.":[262],"evaluated":[265],"12":[268],"real-world":[269],"successfully":[273],"uncovered":[274],"34":[275,339],"previously":[276],"unknown":[277],"their":[281],"latest":[282],"releases":[283],"\u2014":[284],"all":[285],"confirmed,":[288],"22":[290],"already":[292],"fixed.":[294],"Most":[295],"nontrivial":[301],"escaped":[304],"developer":[305],"(and":[306],"user)":[307],"at":[310],"least":[311],"one":[312],"year":[313],"affected":[315],"many":[316],"releases,":[318],"thus":[319],"clearly":[320],"demonstrating":[321],"Genie\u2019s":[322],"effectiveness.":[323],"According":[324],"analysis,":[327],"achieves":[329],"reasonable":[331],"true":[332],"positive":[333],"rate":[334],"40.9%,":[336],"while":[337],"these":[338],"could":[342],"be":[344],"GUI":[350],"tools":[352],"(as":[353],"evaluation":[355],"confirms).":[356],"Thus,":[357],"work":[359],"complements":[360],"enhances":[362],"existing":[363],"bugs.":[372]},"counts_by_year":[{"year":2026,"cited_by_count":7},{"year":2025,"cited_by_count":17},{"year":2024,"cited_by_count":13},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":11}],"updated_date":"2026-07-29T09:40:50.615796","created_date":"2025-10-10T00:00:00"}