{"id":"https://openalex.org/W4405547551","doi":"https://doi.org/10.1145/3708562","title":"Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps","display_name":"Formalization of Android Activity-Fragment Multitasking Mechanism and Static Analysis of Mobile Apps","publication_year":2024,"publication_date":"2024-12-18","ids":{"openalex":"https://openalex.org/W4405547551","doi":"https://doi.org/10.1145/3708562"},"language":"en","primary_location":{"id":"doi:10.1145/3708562","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708562","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3708562","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102309061","display_name":"Jinlong He","orcid":null},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jinlong He","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing, China, State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing, China, and School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing China","State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing China","Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing, China, State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing, China, and School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100381605","display_name":"Zhilin Wu","orcid":"https://orcid.org/0000-0003-0899-628X"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhilin Wu","raw_affiliation_strings":["Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing, China, State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing, China, and School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing China","State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing China","Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing China"],"affiliations":[{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing, China, State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing, China, and School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210128818"]},{"raw_affiliation_string":"School of Computer Science and Technology, University of Chinese Academy of Sciences, Beijing China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, Beijing China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"Key Laboratory of System Software (Chinese Academy of Sciences), Institute of Software Chinese Academy of Sciences, Beijing China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030747944","display_name":"Taolue Chen","orcid":"https://orcid.org/0000-0002-5993-1665"},"institutions":[{"id":"https://openalex.org/I98259816","display_name":"Birkbeck, University of London","ror":"https://ror.org/02mb95055","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I98259816"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Taolue Chen","raw_affiliation_strings":["School of Computing and Mathematical Sciences, Birkbeck, University of London, London, United Kingdom of Great Britain and Northern Ireland","School of Computing and Mathematical Sciences, Birkbeck, University of London, London United Kingdom of Great Britain and Northern Ireland"],"affiliations":[{"raw_affiliation_string":"School of Computing and Mathematical Sciences, Birkbeck, University of London, London, United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I98259816"]},{"raw_affiliation_string":"School of Computing and Mathematical Sciences, Birkbeck, University of London, London United Kingdom of Great Britain and Northern Ireland","institution_ids":["https://openalex.org/I98259816"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5102309061"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.25805082,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":"2","first_page":"1","last_page":"86"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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.9998999834060669,"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.9800999760627747,"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/T10260","display_name":"Software Engineering Research","score":0.9797999858856201,"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/human-multitasking","display_name":"Human multitasking","score":0.8318637609481812},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6929261684417725},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.6752022504806519},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.6202011704444885},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.5142678618431091},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.46408554911613464},{"id":"https://openalex.org/keywords/mobile-apps","display_name":"Mobile apps","score":0.4539463520050049},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3781522512435913},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.18311807513237},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.07904425263404846}],"concepts":[{"id":"https://openalex.org/C107418235","wikidata":"https://www.wikidata.org/wiki/Q1520565","display_name":"Human multitasking","level":2,"score":0.8318637609481812},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6929261684417725},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.6752022504806519},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.6202011704444885},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.5142678618431091},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.46408554911613464},{"id":"https://openalex.org/C2988145974","wikidata":"https://www.wikidata.org/wiki/Q620615","display_name":"Mobile apps","level":2,"score":0.4539463520050049},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3781522512435913},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.18311807513237},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.07904425263404846},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3708562","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708562","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3708562","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3708562","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W233122475","https://openalex.org/W1988036170","https://openalex.org/W2164170598","https://openalex.org/W2242463216","https://openalex.org/W2343325785","https://openalex.org/W2768020615","https://openalex.org/W2883757633","https://openalex.org/W2884306094","https://openalex.org/W2886986591","https://openalex.org/W2888093339","https://openalex.org/W2914982603","https://openalex.org/W2983131052","https://openalex.org/W3099814830","https://openalex.org/W4251541794","https://openalex.org/W4294959423"],"related_works":["https://openalex.org/W4388263628","https://openalex.org/W4242930893","https://openalex.org/W3140336604","https://openalex.org/W2488058330","https://openalex.org/W1988895983","https://openalex.org/W4237084280","https://openalex.org/W2886487614","https://openalex.org/W4242426637","https://openalex.org/W2940047422","https://openalex.org/W2887633424"],"abstract_inverted_index":{"The":[0,148],"multitasking":[1,62,160],"mechanism":[2,63,161],"between":[3,64,162],"activities":[4,32,65,163],"and":[5,30,48,66,74,80,93,101,121,144,164,169],"fragments":[6,165],"plays":[7],"a":[8,18,56],"fundamental":[9],"role":[10],"in":[11,42,166],"the":[12,60,71,77,96,108,151,154,156,159,171],"Android":[13,43,61,131,146],"operating":[14],"system,":[15],"which":[16,68,116],"involves":[17],"wide":[19],"range":[20],"of":[21,36,59,98,153,158,173],"features,":[22],"including":[23],"launch":[24],"modes,":[25],"intent":[26],"flags,":[27],"task":[28,99],"affinities,":[29],"structured":[31],"containing":[33],"fragments.":[34,105],"All":[35],"them":[37],"are":[38,117],"being":[39],"widely":[40],"used":[41],"apps,":[44],"both":[45,118,141],"open":[46,142],"source":[47,143],"commercial":[49,145],"ones.":[50],"In":[51,83],"this":[52],"article,":[53],"we":[54,110],"present":[55],"formal":[57],"semantics":[58,86,157],"fragments,":[67],"accommodates":[69],"all":[70],"important":[72],"features":[73],"gives":[75],"insofar":[76],"most":[78],"comprehensive":[79],"accurate":[81],"formalization.":[82],"particular,":[84],"our":[85,135,174],"is":[87],"formulated":[88],"based":[89],"on":[90,107,140],"multi-stack":[91,119],"systems,":[92],"fully":[94],"captures":[95],"behavior":[97],"stacks":[100,103],"activity":[102],"regarding":[104],"Based":[106],"semantics,":[109],"provide":[111],"new":[112],"static":[113,128,167],"analysis":[114,129],"algorithms,":[115],"aware":[120],"fragment":[122],"sensitive,":[123],"thus":[124],"achieve":[125],"more":[126],"precise":[127],"for":[130],"apps.":[132,147],"We":[133],"validate":[134],"approach":[136],"by":[137],"extensive":[138],"experiments":[139],"results":[149],"highlight":[150],"benefits":[152],"considering":[155],"analysis,":[168],"confirm":[170],"efficacy":[172],"approach.":[175]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}