{"id":"https://openalex.org/W7125797182","doi":"https://doi.org/10.1109/tse.2026.3656691","title":"When Voice Meets Touch: Conflict Analysis in Mobile Applications","display_name":"When Voice Meets Touch: Conflict Analysis in Mobile Applications","publication_year":2026,"publication_date":"2026-01-27","ids":{"openalex":"https://openalex.org/W7125797182","doi":"https://doi.org/10.1109/tse.2026.3656691"},"language":null,"primary_location":{"id":"doi:10.1109/tse.2026.3656691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2026.3656691","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software 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/A5123908898","display_name":"Suwan Li","orcid":null},"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":"Suwan Li","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124010154","display_name":"Lei Bu","orcid":null},"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":"Lei Bu","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5124005157","display_name":"Shangqing Liu","orcid":null},"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":"Shangqing Liu","raw_affiliation_strings":["State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123940394","display_name":"Guangdong Bai","orcid":null},"institutions":[{"id":"https://openalex.org/I168719708","display_name":"City University of Hong Kong","ror":"https://ror.org/03q8dnn23","country_code":"HK","type":"education","lineage":["https://openalex.org/I168719708"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Guangdong Bai","raw_affiliation_strings":["Department of Computer Science, City University of Hong Kong, Hong Kong, Hong Kong"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, City University of Hong Kong, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I168719708"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123958241","display_name":"Fuman Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I165143802","display_name":"The University of Queensland","ror":"https://ror.org/00rqy9422","country_code":"AU","type":"education","lineage":["https://openalex.org/I165143802"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Fuman Xie","raw_affiliation_strings":["School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia"],"affiliations":[{"raw_affiliation_string":"School of Information Technology and Electrical Engineering, The University of Queensland, Brisbane, Australia","institution_ids":["https://openalex.org/I160993911","https://openalex.org/I165143802"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5123936938","display_name":"Kai Chen","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/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kai Chen","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5123885448","display_name":"Chang Yue","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/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Chang Yue","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5123908898"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.26160521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"52","issue":"3","first_page":"1015","last_page":"1036"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10201","display_name":"Speech Recognition and Synthesis","score":0.20309999585151672,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10201","display_name":"Speech Recognition and Synthesis","score":0.20309999585151672,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.13079999387264252,"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/T12031","display_name":"Speech and dialogue systems","score":0.07410000264644623,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/concurrency","display_name":"Concurrency","score":0.6972000002861023},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.6154000163078308},{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.48660001158714294},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4009000062942505},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.39640000462532043},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.3578999936580658},{"id":"https://openalex.org/keywords/user-interface","display_name":"User interface","score":0.3395000100135803},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.33880001306533813},{"id":"https://openalex.org/keywords/program-analysis","display_name":"Program analysis","score":0.33169999718666077}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.88919997215271},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6972000002861023},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.6154000163078308},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.48660001158714294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4553000032901764},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4009000062942505},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.39640000462532043},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3822999894618988},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3817000091075897},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.3578999936580658},{"id":"https://openalex.org/C89505385","wikidata":"https://www.wikidata.org/wiki/Q47146","display_name":"User interface","level":2,"score":0.3395000100135803},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.33880001306533813},{"id":"https://openalex.org/C98183937","wikidata":"https://www.wikidata.org/wiki/Q2112188","display_name":"Program analysis","level":2,"score":0.33169999718666077},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.328900009393692},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C186967261","wikidata":"https://www.wikidata.org/wiki/Q5082128","display_name":"Mobile device","level":2,"score":0.323199987411499},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.3231000006198883},{"id":"https://openalex.org/C107457646","wikidata":"https://www.wikidata.org/wiki/Q207434","display_name":"Human\u2013computer interaction","level":1,"score":0.32019999623298645},{"id":"https://openalex.org/C3017813396","wikidata":"https://www.wikidata.org/wiki/Q17078173","display_name":"Resource constraints","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.3165999948978424},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.303600013256073},{"id":"https://openalex.org/C144543869","wikidata":"https://www.wikidata.org/wiki/Q2738570","display_name":"Mobile computing","level":2,"score":0.30149999260902405},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.30000001192092896},{"id":"https://openalex.org/C173404611","wikidata":"https://www.wikidata.org/wiki/Q528588","display_name":"Constraint programming","level":3,"score":0.2897999882698059},{"id":"https://openalex.org/C113843644","wikidata":"https://www.wikidata.org/wiki/Q901882","display_name":"Interface (matter)","level":4,"score":0.2870999872684479},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.2799000144004822},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.2793999910354614},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.27239999175071716},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.26919999718666077},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.26350000500679016},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.25929999351501465}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tse.2026.3656691","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2026.3656691","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6911734342575073,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1969227614","https://openalex.org/W1996047663","https://openalex.org/W2025786423","https://openalex.org/W2034256728","https://openalex.org/W2056742491","https://openalex.org/W2080404640","https://openalex.org/W2083636040","https://openalex.org/W2109875364","https://openalex.org/W2117184262","https://openalex.org/W2132231921","https://openalex.org/W2141018153","https://openalex.org/W2144118030","https://openalex.org/W2156370972","https://openalex.org/W2166743230","https://openalex.org/W2598406362","https://openalex.org/W2740742367","https://openalex.org/W2794168745","https://openalex.org/W2795053902","https://openalex.org/W2951076951","https://openalex.org/W2955215835","https://openalex.org/W3043122026","https://openalex.org/W3091089987","https://openalex.org/W4241885541","https://openalex.org/W4251803824"],"related_works":[],"abstract_inverted_index":{"The":[0,23],"recent":[1],"advancement":[2],"of":[3,84,102,110,202,233,239],"the":[4,11,51,60,64,82,99,108,111,114,118,208,229,237],"automatic":[5],"speech":[6],"recognition":[7],"(ASR)":[8],"contributes":[9],"to":[10,59,74,81,145,156,181,206,226,244,253],"voice":[12],"user":[13],"interface":[14],"(VUI),":[15],"which":[16],"is":[17],"broadly":[18],"embedded":[19],"into":[20],"mobile":[21,28],"apps.":[22,106,256],"VUI":[24,54,112],"implemented":[25],"on":[26,104],"modern":[27],"operating":[29],"systems":[30],"like":[31],"Android":[32,105],"naturally":[33],"involves":[34],"multiple":[35],"threads,":[36],"and":[37,42,46,53,77,121,139,158,185,211,264],"brings":[38,122],"new":[39],"race":[40,66],"issues":[41],"challenges":[43],"in":[44,126],"defining":[45],"identifying":[47],"them.":[48],"Specifically,":[49],"when":[50],"GUI":[52],"(GV)":[55],"actions":[56,205],"both":[57,183],"access":[58],"same":[61],"resource":[62],"simultanously,":[63],"data":[65],"named":[67],"GV-race":[68,71,103,187,240,263],"may":[69],"occur.":[70],"can":[72,241],"lead":[73],"wrong":[75],"behavior":[76],"even":[78],"crashes.":[79],"However,":[80,107],"best":[83],"our":[85,219],"knowledge,":[86],"this":[87,95],"problem":[88],"has":[89],"not":[90],"been":[91],"adequately":[92],"studied.":[93],"In":[94],"paper,":[96],"we":[97,133,153],"present":[98],"first":[100],"study":[101],"involvement":[109],"complicates":[113],"concurrency":[115],"model,":[116],"affects":[117],"temporal":[119],"relationship":[120],"state":[123,209],"space":[124],"explosion":[125],"global":[127],"analysis.":[128],"To":[129],"tackle":[130],"these":[131,151],"challenges,":[132],"firstly":[134],"define":[135,160],"<italic":[136,141,165,230],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[137,142,166,169,173,176,179,231],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">primitives</i>":[138],"their":[140],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">happen-before</i>":[143],"rules":[144],"abstract":[146],"GV":[147,195,204,215],"interaction":[148,216],"patterns.":[149],"Using":[150],"primitives,":[152],"are":[154,275],"able":[155],"characterize":[157],"formally":[159,227],"GV-race.":[161,269],"We":[162,250,270],"then":[163],"develop":[164],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Roma</i>":[167],"(GV-<underline":[168],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">r</u>ace":[170],"detector":[171],"<underline":[172,175,178],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">o</u>n":[174],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">m</u>obile":[177],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">a</u>pps)":[180],"detect":[182],"app-level":[184,262],"system-level":[186,268],"automatically.":[188],"Through":[189],"static":[190],"program":[191],"analysis,":[192],"Roma":[193,252,257],"extracts":[194],"related":[196],"call":[197],"graphs":[198],"for":[199],"each":[200],"pair":[201],"conflicting":[203],"reduce":[207],"space,":[210],"generates":[212],"a":[213],"universal":[214],"graph":[217],"using":[218],"pre-defined":[220],"primitives.":[221],"It":[222],"encodes":[223],"happen-before":[224],"constraints":[225],"specify":[228],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">freeness":[232],"GV-race</i>,":[234],"so":[235],"that":[236,272],"detection":[238],"be":[242],"reduced":[243],"constraint":[245],"solving":[246],"with":[247,261,267],"SMT":[248],"solvers.":[249],"apply":[251],"analyze":[254],"266":[255],"finds":[258],"52":[259],"apps":[260,266,274],"56":[265],"confirm":[271],"101":[273],"true":[276],"positives.":[277]},"counts_by_year":[],"updated_date":"2026-03-20T20:47:17.329874","created_date":"2026-01-28T00:00:00"}