{"id":"https://openalex.org/W2758119689","doi":"https://doi.org/10.1145/3131704.3131705","title":"NavyDroid","display_name":"NavyDroid","publication_year":2017,"publication_date":"2017-09-23","ids":{"openalex":"https://openalex.org/W2758119689","doi":"https://doi.org/10.1145/3131704.3131705","mag":"2758119689"},"language":"en","primary_location":{"id":"doi:10.1145/3131704.3131705","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131704.3131705","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th Asia-Pacific Symposium on Internetware","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/A5100330505","display_name":"Yi Liu","orcid":"https://orcid.org/0000-0002-1766-2444"},"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":true,"raw_author_name":"Yi Liu","raw_affiliation_strings":["State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"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":["State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052203980","display_name":"Chang Xu","orcid":"https://orcid.org/0000-0002-6299-4704"},"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":"Chang Xu","raw_affiliation_strings":["State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5041674680","display_name":"Xiaoxing Ma","orcid":"https://orcid.org/0000-0001-7970-1384"},"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":"Xiaoxing Ma","raw_affiliation_strings":["State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Lab for Novel Software Technology, Nanjing University, Nanjing, China, Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5100330505"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.43,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.65606616,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"10"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12238","display_name":"Green IT and Sustainability","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12238","display_name":"Green IT and Sustainability","score":1.0,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11392","display_name":"Energy Harvesting in Wireless Networks","score":0.9807999730110168,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10663","display_name":"Advanced Battery Technologies Research","score":0.9667999744415283,"subfield":{"id":"https://openalex.org/subfields/2203","display_name":"Automotive Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.4574197828769684}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4574197828769684}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3131704.3131705","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3131704.3131705","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 9th Asia-Pacific Symposium on Internetware","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.4099999964237213,"id":"https://metadata.un.org/sdg/7","display_name":"Affordable and clean energy"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W31246473","https://openalex.org/W55699008","https://openalex.org/W1963661773","https://openalex.org/W1963976346","https://openalex.org/W1965109871","https://openalex.org/W1983885898","https://openalex.org/W1993158854","https://openalex.org/W1996047663","https://openalex.org/W2085050347","https://openalex.org/W2097204446","https://openalex.org/W2110970664","https://openalex.org/W2364155752","https://openalex.org/W2532927773","https://openalex.org/W2548846043","https://openalex.org/W2551894272","https://openalex.org/W2554125638","https://openalex.org/W2597992093","https://openalex.org/W4255946369"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2093578348","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2096946506","https://openalex.org/W2766271392","https://openalex.org/W2350741829"],"abstract_inverted_index":{"Many":[0],"smartphone":[1],"applications":[2,177],"suffer":[3],"from":[4,113],"energy":[5,21,67,75,87,101,139,172,197],"inefficiency":[6,22,68,76,88,102,173,198],"problems,":[7],"but":[8],"locating":[9],"these":[10,176],"problems":[11,103],"is":[12,133],"quite":[13],"difficult":[14],"and":[15,41,59,85,116,154,168],"labor-intensive.":[16],"Automated":[17],"tools":[18],"for":[19,64],"detecting":[20],"bugs":[23,77,140,174,199],"have":[24],"been":[25],"shown":[26],"to":[27,79,99,135,157],"be":[28],"effective.":[29],"Existing":[30],"approaches":[31,72],"generally":[32],"consist":[33],"of":[34,66,127,150,186],"two":[35],"parts,":[36],"namely":[37],"the":[38,42,60,179],"simulation":[39,46],"part":[40,47,62],"monitor":[43,61],"part.":[44],"The":[45,184],"explores":[48],"an":[49,55,97],"application's":[50],"state":[51,121],"space":[52],"guided":[53],"by":[54,142],"application":[56,82,110],"execution":[57,83,111],"model,":[58],"checks":[63],"occurrences":[65],"patterns.":[69],"However,":[70],"existing":[71,180],"might":[73],"miss":[74],"due":[78],"their":[80],"imprecise":[81],"models":[84],"oversimplified":[86],"diagnosis":[89],"policies.":[90],"In":[91],"this":[92],"paper,":[93],"we":[94],"proposed":[95],"NavyDroid,":[96],"approach":[98,132,192],"diagnosing":[100],"more":[104,137,171],"effectively.":[105],"We":[106,146,160],"summarized":[107],"a":[108,120],"comprehensive":[109],"model":[112],"Android":[114,166,201],"specifications":[115],"expressed":[117],"it":[118,156],"as":[119],"machine.":[122],"By":[123],"considering":[124],"multiple":[125],"patterns":[126],"wake":[128,143],"lock":[129,144],"misuses,":[130],"our":[131,187,191],"able":[134],"detect":[136],"complex":[138],"caused":[141],"misuses.":[145],"implemented":[147],"NavyDroidon":[148],"top":[149],"Java":[151],"Pathfinder":[152],"(JPF)":[153],"applied":[155],"real-world":[158,165],"applications.":[159],"evaluated":[161],"NavyDroid":[162,169],"with":[163],"17":[164],"applications,":[167,202],"located":[170],"in":[175,200],"than":[178],"work":[181],"E-GreenDroid":[182],"did.":[183],"results":[185],"experiments":[188],"demonstrate":[189],"that":[190],"can":[193],"effectively":[194],"locate":[195],"real":[196],"suggesting":[203],"its":[204],"effectiveness.":[205]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2017-10-06T00:00:00"}