{"id":"https://openalex.org/W4389158575","doi":"https://doi.org/10.1145/3611643.3616286","title":"Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps","display_name":"Property-Based Fuzzing for Finding Data Manipulation Errors in Android Apps","publication_year":2023,"publication_date":"2023-11-30","ids":{"openalex":"https://openalex.org/W4389158575","doi":"https://doi.org/10.1145/3611643.3616286"},"language":"en","primary_location":{"id":"doi:10.1145/3611643.3616286","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611643.3616286","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","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":true,"raw_author_name":"Jingling Sun","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","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, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107249778","display_name":"Jiayi Jiang","orcid":"https://orcid.org/0009-0002-1341-6905"},"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":"Jiayi Jiang","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, 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, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"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, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Nanjing, China","institution_ids":["https://openalex.org/I66867065"]}]},{"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, Zurich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5029629116"],"corresponding_institution_ids":["https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":2.5775,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.93849098,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"1088","last_page":"1100"},"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.9987999796867371,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.996999979019165,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.830666720867157},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.802721381187439},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.7321400046348572},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7113145589828491},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.5246613025665283},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.48965197801589966},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4351186752319336},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4022086560726166},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3281809389591217},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2963407635688782},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2362654209136963},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.20113307237625122}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.830666720867157},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.802721381187439},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.7321400046348572},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7113145589828491},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.5246613025665283},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.48965197801589966},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4351186752319336},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4022086560726166},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3281809389591217},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2963407635688782},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2362654209136963},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.20113307237625122},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3611643.3616286","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611643.3616286","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5799999833106995,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1170679397","display_name":null,"funder_award_id":"51075010","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1231421488","display_name":null,"funder_award_id":"under","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1614471940","display_name":null,"funder_award_id":"2020AAA0","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G2275947126","display_name":null,"funder_award_id":"2020AAA0107800","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","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"},{"id":"https://openalex.org/G5676270524","display_name":null,"funder_award_id":"2020AAA0107800","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7611692203","display_name":null,"funder_award_id":"22510750100","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":63,"referenced_works":["https://openalex.org/W78774630","https://openalex.org/W562678166","https://openalex.org/W1812630525","https://openalex.org/W1977603982","https://openalex.org/W2028916132","https://openalex.org/W2041713059","https://openalex.org/W2043811931","https://openalex.org/W2071751474","https://openalex.org/W2087248009","https://openalex.org/W2107709519","https://openalex.org/W2227887088","https://openalex.org/W2463553622","https://openalex.org/W2514303331","https://openalex.org/W2621123093","https://openalex.org/W2740742367","https://openalex.org/W2741563842","https://openalex.org/W2753696847","https://openalex.org/W2767304105","https://openalex.org/W2784669118","https://openalex.org/W2794475704","https://openalex.org/W2794908093","https://openalex.org/W2884403759","https://openalex.org/W2888272748","https://openalex.org/W2889664121","https://openalex.org/W2890086692","https://openalex.org/W2898421446","https://openalex.org/W2898508426","https://openalex.org/W2899070402","https://openalex.org/W2909014315","https://openalex.org/W2955215835","https://openalex.org/W2962200727","https://openalex.org/W2980167976","https://openalex.org/W2999082198","https://openalex.org/W2999119789","https://openalex.org/W3000438717","https://openalex.org/W3008797115","https://openalex.org/W3042811441","https://openalex.org/W3043122026","https://openalex.org/W3046919285","https://openalex.org/W3047675717","https://openalex.org/W3047811221","https://openalex.org/W3091089987","https://openalex.org/W3091518781","https://openalex.org/W3100220259","https://openalex.org/W3101518325","https://openalex.org/W3102372835","https://openalex.org/W3102847692","https://openalex.org/W3105413283","https://openalex.org/W3121617793","https://openalex.org/W3178676396","https://openalex.org/W3183353177","https://openalex.org/W3195818176","https://openalex.org/W3206846523","https://openalex.org/W3208368746","https://openalex.org/W4244488020","https://openalex.org/W4281961561","https://openalex.org/W4285490475","https://openalex.org/W4308643043","https://openalex.org/W4308994425","https://openalex.org/W4313563733","https://openalex.org/W4323644357","https://openalex.org/W4384155409","https://openalex.org/W6811215404"],"related_works":["https://openalex.org/W614438062","https://openalex.org/W3173990398","https://openalex.org/W4205454537","https://openalex.org/W4381785649","https://openalex.org/W4385301282","https://openalex.org/W4226494072","https://openalex.org/W4287849816","https://openalex.org/W3170526652","https://openalex.org/W2547155723","https://openalex.org/W3006186133"],"abstract_inverted_index":{"Like":[0],"many":[1,39],"software":[2],"applications,":[3],"data":[4,51,97,133],"manipulation":[5,52],"functionalities(":[6],"DMFs":[7,34,48,105,122,149],")":[8],"are":[9,61,150,202,205,211,230],"prevalent":[10,62],"in":[11,84,123,191],"Android":[12,85,180],"apps,":[13,181],"which":[14,201],"perform":[15],"the":[16,30,44,129,132,136,140,161,196,247,255,265,270,274,300],"common":[17],"CRUD":[18],"operations":[19],"(create,":[20],"read,":[21],"update,":[22],"delete)":[23],"to":[24,47,65,80,110,142,155,234],"handle":[25],"app-specific":[26],"data.":[27],"Thus,":[28],"ensuring":[29],"correctness":[31],"of":[32,95,98,148,163,195,200,227,237,246,268,276],"these":[33,228],"is":[35,90,279],"fundamentally":[36],"important":[37],"for":[38,115],"core":[40],"app":[41,96,113,157,238],"functionalities.":[42],"However,":[43],"bugs":[45,190,229],"related":[46],"(named":[49],"as":[50,139],"errors,":[53],"DMEs":[54,83,203,250,291],"),":[55],"especially":[56],"those":[57],"non-crashing":[58,206,249],"logic":[59,207],"ones,":[60],"but":[63],"difficult":[64],"find.":[66],"To":[67,159,214],"this":[68],"end,":[69],"inspired":[70],"by":[71,152,254],"property-based":[72,77],"testing,":[73],"we":[74,100,166],"introduce":[75],"a":[76,260],"fuzzing":[78],"approach":[79,120,287],"effectively":[81],"finding":[82],"apps.":[86,193],"Our":[87,240],"key":[88],"idea":[89],"that,":[91],"given":[92,282],"some":[93],"type":[94],"interest,":[99],"randomly":[101],"interleave":[102],"its":[103],"relevant":[104],"and":[106,127,135,182,187,209,220,232],"other":[107],"possible":[108],"events":[109],"explore":[111],"diverse":[112],"states":[114],"thorough":[116],"validation.":[117],"Specifically,":[118],"our":[119,164,277,286],"characterizes":[121],"(data)":[124],"model-based":[125],"properties":[126,147,272],"leverage":[128],"consistency":[130],"between":[131],"model":[134],"UI":[137],"layouts":[138],"handler":[141],"do":[143],"property":[144],"checking.":[145],"The":[146],"specified":[151],"human":[153],"according":[154],"specific":[156],"features.":[158],"support":[160],"application":[162],"approach,":[165],"implemented":[167],"an":[168],"automated":[169],"GUI":[170],"testing":[171],"tool,":[172],"PBFDroid.":[173],"We":[174,296],"evaluated":[175],"PBFDroid":[176],"on":[177],"20":[178],"real-world":[179],"successfully":[183],"found":[184,253],"30":[185,197],"unique":[186],"previously":[188],"unknown":[189],"18":[192],"Out":[194],"bugs,":[198,208],"29":[199],"(22":[204],"7":[210],"crash":[212],"ones).":[213],"date,":[215],"19":[216],"have":[217,222,297],"been":[218,224],"confirmed":[219],"9":[221],"already":[223],"fixed.":[225],"Many":[226],"non-trivial":[231],"lead":[233],"different":[235],"types":[236],"failures.":[239],"further":[241],"evaluation":[242],"confirms":[243],"that":[244,264],"none":[245],"22":[248],"can":[251,288],"be":[252],"state-of-the-art":[256],"techniques.":[257],"In":[258],"addition,":[259],"user":[261],"study":[262],"shows":[263],"manual":[266],"cost":[267],"specifying":[269],"DMF":[271,284],"with":[273],"assistance":[275],"tool":[278],"acceptable.":[280],"Overall,":[281],"accurate":[283],"properties,":[285],"automatically":[289],"find":[290],"without":[292],"any":[293],"false":[294],"positives.":[295],"made":[298],"all":[299],"artifacts":[301],"publicly":[302],"available":[303],"at:https://":[304],"github.com/":[305],"property-based-fuzzing/":[306],"home.":[307]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":4}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}