{"id":"https://openalex.org/W2570831569","doi":"https://doi.org/10.1145/3011286.3011292","title":"Java Pathfinder on Android Devices","display_name":"Java Pathfinder on Android Devices","publication_year":2017,"publication_date":"2017-01-05","ids":{"openalex":"https://openalex.org/W2570831569","doi":"https://doi.org/10.1145/3011286.3011292","mag":"2570831569"},"language":"en","primary_location":{"id":"doi:10.1145/3011286.3011292","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3011286.3011292","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-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/A5063303937","display_name":"Alexander Kohan","orcid":null},"institutions":[{"id":"https://openalex.org/I159385669","display_name":"Chiba University","ror":"https://ror.org/01hjzeq58","country_code":"JP","type":"education","lineage":["https://openalex.org/I159385669"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Alexander Kohan","raw_affiliation_strings":["Chiba University, Japan"],"affiliations":[{"raw_affiliation_string":"Chiba University, Japan","institution_ids":["https://openalex.org/I159385669"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103801346","display_name":"Mitsuharu Yamamoto","orcid":null},"institutions":[{"id":"https://openalex.org/I159385669","display_name":"Chiba University","ror":"https://ror.org/01hjzeq58","country_code":"JP","type":"education","lineage":["https://openalex.org/I159385669"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Mitsuharu Yamamoto","raw_affiliation_strings":["Chiba University, Japan"],"affiliations":[{"raw_affiliation_string":"Chiba University, Japan","institution_ids":["https://openalex.org/I159385669"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063347761","display_name":"Cyrille Artho","orcid":"https://orcid.org/0000-0002-3656-1614"},"institutions":[{"id":"https://openalex.org/I86987016","display_name":"KTH Royal Institute of Technology","ror":"https://ror.org/026vcq606","country_code":"SE","type":"education","lineage":["https://openalex.org/I86987016"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Cyrille Artho","raw_affiliation_strings":["AIST/ITRI, Japan and KTH Royal Institute of Technology, Sweden"],"affiliations":[{"raw_affiliation_string":"AIST/ITRI, Japan and KTH Royal Institute of Technology, Sweden","institution_ids":["https://openalex.org/I86987016"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028729272","display_name":"Yoriyuki Yamagata","orcid":"https://orcid.org/0000-0003-2096-677X"},"institutions":[{"id":"https://openalex.org/I73613424","display_name":"National Institute of Advanced Industrial Science and Technology","ror":"https://ror.org/01703db54","country_code":"JP","type":"government","lineage":["https://openalex.org/I73613424"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoriyuki Yamagata","raw_affiliation_strings":["AIST/ITRI, Japan"],"affiliations":[{"raw_affiliation_string":"AIST/ITRI, Japan","institution_ids":["https://openalex.org/I73613424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101468661","display_name":"Lei Ma","orcid":"https://orcid.org/0000-0002-8621-2420"},"institutions":[{"id":"https://openalex.org/I159385669","display_name":"Chiba University","ror":"https://ror.org/01hjzeq58","country_code":"JP","type":"education","lineage":["https://openalex.org/I159385669"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Lei Ma","raw_affiliation_strings":["Chiba University, Japan"],"affiliations":[{"raw_affiliation_string":"Chiba University, Japan","institution_ids":["https://openalex.org/I159385669"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110590293","display_name":"Masami Hagiya","orcid":null},"institutions":[{"id":"https://openalex.org/I74801974","display_name":"The University of Tokyo","ror":"https://ror.org/057zh3y96","country_code":"JP","type":"education","lineage":["https://openalex.org/I74801974"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masami Hagiya","raw_affiliation_strings":["The University of Tokyo, Japan"],"affiliations":[{"raw_affiliation_string":"The University of Tokyo, Japan","institution_ids":["https://openalex.org/I74801974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054295591","display_name":"Yoshinori Tanabe","orcid":"https://orcid.org/0000-0001-7259-3317"},"institutions":[{"id":"https://openalex.org/I114171174","display_name":"Tsurumi University","ror":"https://ror.org/04j8wth34","country_code":"JP","type":"education","lineage":["https://openalex.org/I114171174"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshinori Tanabe","raw_affiliation_strings":["Tsurumi University, Japan"],"affiliations":[{"raw_affiliation_string":"Tsurumi University, Japan","institution_ids":["https://openalex.org/I114171174"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5063303937"],"corresponding_institution_ids":["https://openalex.org/I159385669"],"apc_list":null,"apc_paid":null,"fwci":2.4181,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.90743179,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"41","issue":"6","first_page":"1","last_page":"5"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12799","display_name":"Mobile and Web Applications","score":0.9945999979972839,"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"}},"topics":[{"id":"https://openalex.org/T12799","display_name":"Mobile and Web Applications","score":0.9945999979972839,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9728999733924866,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12720","display_name":"Multimedia Communication and Technology","score":0.9646000266075134,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/bytecode","display_name":"Bytecode","score":0.9253649711608887},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.8478232622146606},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.8197308778762817},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7840179204940796},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.508716881275177},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4413513243198395},{"id":"https://openalex.org/keywords/java-bytecode","display_name":"Java bytecode","score":0.43637481331825256},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.31830739974975586},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.28371375799179077}],"concepts":[{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.9253649711608887},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.8478232622146606},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.8197308778762817},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7840179204940796},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.508716881275177},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4413513243198395},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.43637481331825256},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.31830739974975586},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.28371375799179077}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3011286.3011292","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3011286.3011292","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"is_oa":false,"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":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320309327","display_name":"Google","ror":"https://ror.org/00njsd438"},{"id":"https://openalex.org/F4320334764","display_name":"Japan Society for the Promotion of Science","ror":"https://ror.org/00hhkn466"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1514703713","https://openalex.org/W2139107230","https://openalex.org/W2268105597"],"related_works":["https://openalex.org/W2138972873","https://openalex.org/W2464014640","https://openalex.org/W1970806266","https://openalex.org/W2408282970","https://openalex.org/W2350074571","https://openalex.org/W2066444215","https://openalex.org/W1521580745","https://openalex.org/W2174769339","https://openalex.org/W1596215849","https://openalex.org/W2169629723"],"abstract_inverted_index":{"Because":[0],"Android":[1,48,68,81,94,103],"apps":[2,104],"are":[3],"written":[4],"in":[5,50],"Java":[6,20,38,42,85],"and":[7,33,60],"executed":[8],"on":[9,40,63,107],"a":[10,64],"virtual":[11],"machine":[12],"(VM),":[13],"there":[14],"is":[15],"an":[16,73,80],"opportunity":[17],"to":[18,92,100],"employ":[19],"Pathfinder":[21],"(JPF)":[22],"for":[23],"their":[24,51],"verification.":[25],"There":[26],"already":[27],"exist":[28],"two":[29],"JPF":[30,78],"extensions,":[31],"jpf-android":[32],"jpf-pathdroid.":[34],"The":[35],"former":[36],"executes":[37,47,84],"bytecode":[39],"the":[41,45,67,93],"VM,":[43],"while":[44],"latter":[46],"applications":[49],"original":[52],"format.":[53],"Both":[54],"do":[55],"not":[56],"support":[57],"native":[58,108],"methods,":[59],"thus":[61],"depend":[62],"model":[65],"of":[66],"environment.":[69,95],"This":[70,96],"paper":[71],"introduces":[72],"alternative":[74],"approach:":[75],"we":[76],"run":[77],"as":[79],"application":[82],"that":[83,105],"bytecode,":[86],"which":[87],"gives":[88],"us":[89,99],"direct":[90],"access":[91],"approach":[97],"allows":[98],"verify":[101],"rich":[102],"rely":[106],"calls":[109]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}