{"id":"https://openalex.org/W4388012531","doi":"https://doi.org/10.1142/s0218194023500638","title":"EFSM Model-Based Testing for Android Applications","display_name":"EFSM Model-Based Testing for Android Applications","publication_year":2023,"publication_date":"2023-10-29","ids":{"openalex":"https://openalex.org/W4388012531","doi":"https://doi.org/10.1142/s0218194023500638"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194023500638","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194023500638","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5004679699","display_name":"Weiwei Wang","orcid":"https://orcid.org/0000-0003-4860-1553"},"institutions":[{"id":"https://openalex.org/I130541836","display_name":"Beijing Institute of Petrochemical Technology","ror":"https://ror.org/025s55q11","country_code":"CN","type":"education","lineage":["https://openalex.org/I130541836"]},{"id":"https://openalex.org/I75390827","display_name":"Beijing University of Chemical Technology","ror":"https://ror.org/00df5yc52","country_code":"CN","type":"education","lineage":["https://openalex.org/I75390827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weiwei Wang","raw_affiliation_strings":["College of Information Engineering, Beijing Institute of Petrochemical Technology, Daxing District, Beijing 102699, P. R. China","College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China"],"raw_orcid":"https://orcid.org/0000-0003-4860-1553","affiliations":[{"raw_affiliation_string":"College of Information Engineering, Beijing Institute of Petrochemical Technology, Daxing District, Beijing 102699, P. R. China","institution_ids":["https://openalex.org/I130541836"]},{"raw_affiliation_string":"College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China","institution_ids":["https://openalex.org/I75390827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090221366","display_name":"Junxia Guo","orcid":"https://orcid.org/0000-0003-4905-1290"},"institutions":[{"id":"https://openalex.org/I75390827","display_name":"Beijing University of Chemical Technology","ror":"https://ror.org/00df5yc52","country_code":"CN","type":"education","lineage":["https://openalex.org/I75390827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Junxia Guo","raw_affiliation_strings":["College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China"],"raw_orcid":"https://orcid.org/0000-0003-4905-1290","affiliations":[{"raw_affiliation_string":"College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China","institution_ids":["https://openalex.org/I75390827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044603633","display_name":"B. Li","orcid":"https://orcid.org/0009-0002-3248-599X"},"institutions":[{"id":"https://openalex.org/I75390827","display_name":"Beijing University of Chemical Technology","ror":"https://ror.org/00df5yc52","country_code":"CN","type":"education","lineage":["https://openalex.org/I75390827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Beite Li","raw_affiliation_strings":["College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China"],"raw_orcid":"https://orcid.org/0009-0002-3248-599X","affiliations":[{"raw_affiliation_string":"College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China","institution_ids":["https://openalex.org/I75390827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048378968","display_name":"Ying Shang","orcid":"https://orcid.org/0000-0003-4575-0801"},"institutions":[{"id":"https://openalex.org/I75390827","display_name":"Beijing University of Chemical Technology","ror":"https://ror.org/00df5yc52","country_code":"CN","type":"education","lineage":["https://openalex.org/I75390827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ying Shang","raw_affiliation_strings":["College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China"],"raw_orcid":"https://orcid.org/0000-0003-4575-0801","affiliations":[{"raw_affiliation_string":"College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China","institution_ids":["https://openalex.org/I75390827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101524812","display_name":"Ruilian Zhao","orcid":"https://orcid.org/0000-0002-6024-4010"},"institutions":[{"id":"https://openalex.org/I75390827","display_name":"Beijing University of Chemical Technology","ror":"https://ror.org/00df5yc52","country_code":"CN","type":"education","lineage":["https://openalex.org/I75390827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ruilian Zhao","raw_affiliation_strings":["College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China"],"raw_orcid":"https://orcid.org/0000-0002-6024-4010","affiliations":[{"raw_affiliation_string":"College of Information Science and Technology, Beijing University of Chemical Technology, Beijing 100029, P. R. China","institution_ids":["https://openalex.org/I75390827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3576,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.66506024,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"34","issue":"04","first_page":"597","last_page":"621"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9962000250816345,"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/computer-science","display_name":"Computer science","score":0.7899705767631531},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.742499589920044},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.723346471786499},{"id":"https://openalex.org/keywords/extended-finite-state-machine","display_name":"Extended finite-state machine","score":0.6661713123321533},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5871062278747559},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.5534517765045166},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.527807354927063},{"id":"https://openalex.org/keywords/model-based-testing","display_name":"Model-based testing","score":0.5125176906585693},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4854207932949066},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.437743216753006},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4306769073009491},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.42814210057258606},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3405246138572693},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3062286972999573},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24309873580932617},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20037132501602173},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.15189456939697266}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7899705767631531},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.742499589920044},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.723346471786499},{"id":"https://openalex.org/C181062253","wikidata":"https://www.wikidata.org/wiki/Q5421886","display_name":"Extended finite-state machine","level":3,"score":0.6661713123321533},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5871062278747559},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.5534517765045166},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.527807354927063},{"id":"https://openalex.org/C165825675","wikidata":"https://www.wikidata.org/wiki/Q1399743","display_name":"Model-based testing","level":4,"score":0.5125176906585693},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4854207932949066},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.437743216753006},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4306769073009491},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.42814210057258606},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3405246138572693},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3062286972999573},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24309873580932617},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20037132501602173},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.15189456939697266},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194023500638","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194023500638","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G6356797600","display_name":null,"funder_award_id":"62077003","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"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W1812630525","https://openalex.org/W2026252407","https://openalex.org/W2042219500","https://openalex.org/W2055703785","https://openalex.org/W2066672703","https://openalex.org/W2098639318","https://openalex.org/W2101800210","https://openalex.org/W2106072155","https://openalex.org/W2148601840","https://openalex.org/W2164170598","https://openalex.org/W2463553622","https://openalex.org/W2740742367","https://openalex.org/W2767470376","https://openalex.org/W2767668103","https://openalex.org/W2809281541","https://openalex.org/W2886512947","https://openalex.org/W2897129705","https://openalex.org/W2899466114","https://openalex.org/W2916905798","https://openalex.org/W2926425366","https://openalex.org/W2954909443","https://openalex.org/W2955215835","https://openalex.org/W2964297799","https://openalex.org/W2968774823","https://openalex.org/W2996304010","https://openalex.org/W3005688497","https://openalex.org/W3008182057","https://openalex.org/W3010848684","https://openalex.org/W3043122026","https://openalex.org/W3091089987","https://openalex.org/W3091518781","https://openalex.org/W3099050915","https://openalex.org/W3172381681"],"related_works":["https://openalex.org/W1000804707","https://openalex.org/W2417055705","https://openalex.org/W4242148730","https://openalex.org/W1888619389","https://openalex.org/W2378154521","https://openalex.org/W1510251747","https://openalex.org/W1968494916","https://openalex.org/W2086860371","https://openalex.org/W2028796071","https://openalex.org/W2060992506"],"abstract_inverted_index":{"Model-based":[0],"testing":[1,184],"provides":[2],"an":[3],"effective":[4],"means":[5],"for":[6,65],"ensuring":[7],"the":[8,36,108,134,138,151,180,187],"quality":[9],"of":[10,35,40,48,140,153],"Android":[11,49,66],"apps.":[12,164],"Nevertheless,":[13],"existing":[14,181],"models":[15],"that":[16,42,168,191],"focus":[17],"on":[18,59,82,87,161],"event":[19],"sequences":[20],"and":[21,32,84,95,126,176],"abstract":[22],"them":[23,86],"into":[24],"Finite":[25,61],"State":[26,62],"Machines":[27,63],"(FSMs)":[28],"may":[29],"lack":[30],"precision":[31],"determinism":[33],"because":[34],"different":[37],"data":[38,80,194],"values":[39],"events":[41,83],"can":[43],"result":[44],"in":[45,70,117,173],"various":[46],"states":[47],"applications.":[50],"To":[51,122,149],"address":[52],"this":[53,71,156],"issue,":[54],"a":[55,92,99,114,141],"novel":[56],"model":[57,136],"based":[58],"Extended":[60],"(EFSMs)":[64],"apps":[67],"is":[68,103],"proposed":[69],"paper.":[72],"The":[73,165],"approach":[74,170],"leverages":[75],"machine":[76],"learning":[77],"to":[78,91,105],"infer":[79],"constraints":[81,195],"annotates":[85],"state":[88,100],"transitions,":[89],"leading":[90],"more":[93],"precise":[94],"deterministic":[96],"model.":[97,109],"Additionally,":[98],"abstraction":[101],"strategy":[102],"presented":[104],"further":[106],"refine":[107],"Besides,":[110],"test":[111,119,129,147],"diversity":[112],"plays":[113],"vital":[115],"role":[116],"enhancing":[118],"suite":[120],"effectiveness.":[121],"achieve":[123],"high":[124],"coverage":[125,175],"fault":[127],"detection,":[128],"cases":[130],"are":[131,196],"generated":[132],"from":[133],"EFSM":[135],"with":[137],"help":[139],"Genetic":[142],"Algorithm":[143],"(GA),":[144],"guided":[145],"by":[146,198],"diversity.":[148],"evaluate":[150],"effectiveness":[152],"our":[154,169,199],"approach,":[155],"paper":[157],"carries":[158],"out":[159],"experiments":[160],"93":[162],"open-source":[163,182],"results":[166],"show":[167],"performs":[171],"better":[172],"code":[174],"crash":[177],"detection":[178],"than":[179],"model-based":[183],"tools.":[185],"Particularly,":[186],"19":[188],"unique":[189],"crashes":[190],"involve":[192],"complex":[193],"detected":[197],"approach.":[200]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}