{"id":"https://openalex.org/W4400484637","doi":"https://doi.org/10.1145/3663529.3663863","title":"Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps","display_name":"Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps","publication_year":2024,"publication_date":"2024-07-10","ids":{"openalex":"https://openalex.org/W4400484637","doi":"https://doi.org/10.1145/3663529.3663863"},"language":"en","primary_location":{"id":"doi:10.1145/3663529.3663863","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3663529.3663863","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 32nd ACM International Conference 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/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]},{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]}],"countries":["CN","SG"],"is_corresponding":true,"raw_author_name":"Jingling Sun","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore","University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"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/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392"},"institutions":[{"id":"https://openalex.org/I150229711","display_name":"University of Electronic Science and Technology of China","ror":"https://ror.org/04qr3zq92","country_code":"CN","type":"education","lineage":["https://openalex.org/I150229711"]},{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["CN","SG"],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore","University of Electronic Science and Technology of China, Chengdu, China"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"University of Electronic Science and Technology of China, Chengdu, China","institution_ids":["https://openalex.org/I150229711"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100621773","display_name":"Jianwen Li","orcid":"https://orcid.org/0000-0001-9286-8285"},"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":"Jianwen Li","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/A5102781828","display_name":"Mengfei Wang","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mengfei Wang","raw_affiliation_strings":["ByteDance, Beijing, China"],"affiliations":[{"raw_affiliation_string":"ByteDance, Beijing, China","institution_ids":[]}]},{"author_position":"last","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, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5029629116"],"corresponding_institution_ids":["https://openalex.org/I150229711","https://openalex.org/I79891267"],"apc_list":null,"apc_paid":null,"fwci":0.375,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.53485384,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"440","last_page":"451"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":1.0,"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":1.0,"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/T12034","display_name":"Digital and Cyber Forensics","score":0.9926000237464905,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9886000156402588,"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.678974986076355},{"id":"https://openalex.org/keywords/social-media","display_name":"Social media","score":0.6242635250091553},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.5446327328681946},{"id":"https://openalex.org/keywords/internet-privacy","display_name":"Internet privacy","score":0.52558833360672},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.3987109661102295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.678974986076355},{"id":"https://openalex.org/C518677369","wikidata":"https://www.wikidata.org/wiki/Q202833","display_name":"Social media","level":2,"score":0.6242635250091553},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.5446327328681946},{"id":"https://openalex.org/C108827166","wikidata":"https://www.wikidata.org/wiki/Q175975","display_name":"Internet privacy","level":1,"score":0.52558833360672},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.3987109661102295},{"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/3663529.3663863","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3663529.3663863","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W26215213","https://openalex.org/W46849891","https://openalex.org/W1514703713","https://openalex.org/W2002128397","https://openalex.org/W2023808162","https://openalex.org/W2028916132","https://openalex.org/W2060692877","https://openalex.org/W2071751474","https://openalex.org/W2083755826","https://openalex.org/W2089003125","https://openalex.org/W2121077396","https://openalex.org/W2164170598","https://openalex.org/W2168649891","https://openalex.org/W2171389360","https://openalex.org/W2376050373","https://openalex.org/W2607911734","https://openalex.org/W2621123093","https://openalex.org/W2740742367","https://openalex.org/W2753696847","https://openalex.org/W2786819761","https://openalex.org/W2803054784","https://openalex.org/W2807172739","https://openalex.org/W2896734575","https://openalex.org/W2898421446","https://openalex.org/W2904429768","https://openalex.org/W2912568927","https://openalex.org/W2921740467","https://openalex.org/W2955215835","https://openalex.org/W2962200727","https://openalex.org/W2967058750","https://openalex.org/W2980167976","https://openalex.org/W3039732322","https://openalex.org/W3042811441","https://openalex.org/W3100220259","https://openalex.org/W3102847692","https://openalex.org/W3178676396","https://openalex.org/W3200853289","https://openalex.org/W3206846523","https://openalex.org/W4226154716","https://openalex.org/W4242126179","https://openalex.org/W4244726870","https://openalex.org/W4250652815","https://openalex.org/W4254624923","https://openalex.org/W4255108598","https://openalex.org/W4301861397","https://openalex.org/W4313563733","https://openalex.org/W4384521943","https://openalex.org/W4391021716","https://openalex.org/W4403391441"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052","https://openalex.org/W2382290278","https://openalex.org/W4395014643"],"abstract_inverted_index":{"There":[0],"are":[1],"various":[2],"privacy-related":[3,188,244],"functionalities":[4,35,66],"in":[5,67,113,233],"social":[6,208],"media":[7,209],"apps.":[8],"For":[9],"example,":[10],"users":[11,25],"of":[12,33,52,148,197,216],"TikTok":[13],"can":[14,26,116,124,160,185],"upload":[15],"videos":[16],"that":[17,106,165,183],"record":[18],"their":[19],"daily":[20],"activities":[21],"and":[22,75,190,214,231,247],"specify":[23],"which":[24,71,123,159],"view":[27],"these":[28,34,65,234],"videos.":[29],"Ensuring":[30],"the":[31,42,50,60,68,94,98,120,130,140,146,162,169,212,219,229],"correctness":[32],"is":[36,72,105,166],"crucial.":[37],"Otherwise,":[38],"it":[39],"may":[40],"threaten":[41],"users'":[43],"privacy":[44,100,107,171,180,240],"or":[45],"frustrate":[46],"users.":[47],"Due":[48],"to":[49,78,89,127],"absence":[51],"appropriate":[53],"automated":[54,154],"testing":[55,58,88,156],"techniques,":[56],"manual":[57,192],"remains":[59],"primary":[61],"approach":[62],"for":[63],"validating":[64],"industrial":[69],"setting,":[70],"cumbersome,":[73],"error-prone,":[74],"inadequate":[76],"due":[77],"its":[79],"small-scale":[80],"validation.":[81],"To":[82,144],"this":[83],"end,":[84],"we":[85,151],"adapt":[86],"property-based":[87],"validate":[90,187],"app":[91,131,163,201],"behaviors":[92],"against":[93],"properties":[95],"described":[96],"by":[97,110,194],"given":[99],"specifications.":[101,172],"Our":[102,173],"key":[103],"idea":[104],"specifications":[108],"maintained":[109],"testers":[111],"written":[112],"natural":[114],"language":[115],"be":[117,125],"transformed":[118],"into":[119],"B\u00fcchi":[121],"automata,":[122],"used":[126],"determine":[128],"whether":[129],"has":[132],"reached":[133],"unexpected":[134],"states":[135],"as":[136,138],"well":[137],"guide":[139],"test":[141],"case":[142],"generation.":[143],"support":[145],"application":[147],"our":[149],"approach,":[150],"implemented":[152],"an":[153,195],"GUI":[155],"tool,":[157],"PDTDroid,":[158],"detect":[161],"behavior":[164],"inconsistent":[167],"with":[168],"checked":[170],"evaluation":[174],"on":[175,205],"TikTok,":[176],"involving":[177],"125":[178],"real":[179],"specifications,":[181],"shows":[182],"PDTDroid":[184,221],"efficiently":[186],"functionality":[189],"reduce":[191],"effort":[193],"average":[196],"95.2%":[198],"before":[199],"each":[200],"release.Our":[202],"further":[203],"experiments":[204],"six":[206],"popular":[207],"apps":[210,237],"show":[211],"generability":[213],"applicability":[215],"PDTDroid.":[217],"During":[218],"evaluation,":[220],"also":[222],"found":[223],"22":[224],"previously":[225],"unknown":[226],"inconsistencies":[227],"between":[228],"specification":[230,249],"implementation":[232],"extensively":[235],"tested":[236],"(including":[238],"four":[239],"leakage":[241],"bugs,":[242,246],"nine":[243,248],"functional":[245],"issues).":[250]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2025-12-26T23:08:49.675405","created_date":"2025-10-10T00:00:00"}