{"id":"https://openalex.org/W4389158526","doi":"https://doi.org/10.1145/3611643.3616361","title":"Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android","display_name":"Automata-Based Trace Analysis for Aiding Diagnosing GUI Testing Tools for Android","publication_year":2023,"publication_date":"2023-11-30","ids":{"openalex":"https://openalex.org/W4389158526","doi":"https://doi.org/10.1145/3611643.3616361"},"language":"en","primary_location":{"id":"doi:10.1145/3611643.3616361","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611643.3616361","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","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/A5044354048","display_name":"Enze Ma","orcid":"https://orcid.org/0009-0002-6730-9558"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Enze Ma","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107412076","display_name":"Shan Huang","orcid":"https://orcid.org/0009-0008-2856-5851"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shan Huang","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035715359","display_name":"Weigang He","orcid":"https://orcid.org/0009-0002-2086-7034"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Weigang He","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043441209","display_name":"Ting Su","orcid":"https://orcid.org/0000-0003-1628-9796"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ting Su","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"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":["Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5107250437","display_name":"Huiyu Liu","orcid":"https://orcid.org/0009-0006-9465-4831"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huiyu Liu","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054490662","display_name":"Geguang Pu","orcid":"https://orcid.org/0000-0001-9750-8334"},"institutions":[{"id":"https://openalex.org/I66867065","display_name":"East China Normal University","ror":"https://ror.org/02n96ep67","country_code":"CN","type":"education","lineage":["https://openalex.org/I66867065"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Geguang Pu","raw_affiliation_strings":["East China Normal University, Shanghai, China"],"affiliations":[{"raw_affiliation_string":"East China Normal University, Shanghai, China","institution_ids":["https://openalex.org/I66867065"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077610917","display_name":"Zhendong Su","orcid":"https://orcid.org/0000-0002-2970-1391"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Zhendong Su","raw_affiliation_strings":["ETH Zurich, Z\u00fcrich, Switzerland"],"affiliations":[{"raw_affiliation_string":"ETH Zurich, Z\u00fcrich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5044354048"],"corresponding_institution_ids":["https://openalex.org/I66867065"],"apc_list":null,"apc_paid":null,"fwci":0.4296,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.71596501,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"592","last_page":"604"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":1.0,"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":1.0,"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/T10260","display_name":"Software Engineering Research","score":0.9980000257492065,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8159288763999939},{"id":"https://openalex.org/keywords/android","display_name":"Android (operating system)","score":0.7052003145217896},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7035558223724365},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.6811355352401733},{"id":"https://openalex.org/keywords/test-suite","display_name":"Test suite","score":0.6258962154388428},{"id":"https://openalex.org/keywords/benchmarking","display_name":"Benchmarking","score":0.6226480007171631},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5995572805404663},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.5756019949913025},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4896836578845978},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.47943681478500366},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.4314349293708801},{"id":"https://openalex.org/keywords/software-bug","display_name":"Software bug","score":0.42202097177505493},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.41306716203689575},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3923775255680084},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3860263228416443},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.24132487177848816},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.23933619260787964},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.14125007390975952}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8159288763999939},{"id":"https://openalex.org/C557433098","wikidata":"https://www.wikidata.org/wiki/Q94","display_name":"Android (operating system)","level":2,"score":0.7052003145217896},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7035558223724365},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.6811355352401733},{"id":"https://openalex.org/C151552104","wikidata":"https://www.wikidata.org/wiki/Q7705809","display_name":"Test suite","level":4,"score":0.6258962154388428},{"id":"https://openalex.org/C86251818","wikidata":"https://www.wikidata.org/wiki/Q816754","display_name":"Benchmarking","level":2,"score":0.6226480007171631},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5995572805404663},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.5756019949913025},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4896836578845978},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.47943681478500366},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.4314349293708801},{"id":"https://openalex.org/C1009929","wikidata":"https://www.wikidata.org/wiki/Q179550","display_name":"Software bug","level":3,"score":0.42202097177505493},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.41306716203689575},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3923775255680084},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3860263228416443},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.24132487177848816},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.23933619260787964},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.14125007390975952},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3611643.3616361","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3611643.3616361","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G1121271761","display_name":null,"funder_award_id":"Program","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G1614471940","display_name":null,"funder_award_id":"2020AAA0","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G2275947126","display_name":null,"funder_award_id":"2020AAA0107800","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G3324857077","display_name":null,"funder_award_id":"2022YFB3104002","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G391238517","display_name":null,"funder_award_id":", and","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5043132211","display_name":null,"funder_award_id":"62072178","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5676270524","display_name":null,"funder_award_id":"2020AAA0107800","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320316083","display_name":"Tencent","ror":"https://ror.org/00hhjss72"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W1414322427","https://openalex.org/W1812630525","https://openalex.org/W1972020324","https://openalex.org/W2013856010","https://openalex.org/W2023027674","https://openalex.org/W2078356878","https://openalex.org/W2091932246","https://openalex.org/W2101446126","https://openalex.org/W2114768982","https://openalex.org/W2135483384","https://openalex.org/W2154897437","https://openalex.org/W2156723666","https://openalex.org/W2227887088","https://openalex.org/W2253074222","https://openalex.org/W2463553622","https://openalex.org/W2514303331","https://openalex.org/W2515236103","https://openalex.org/W2546750171","https://openalex.org/W2616814339","https://openalex.org/W2621123093","https://openalex.org/W2725074893","https://openalex.org/W2740742367","https://openalex.org/W2756733142","https://openalex.org/W2767357513","https://openalex.org/W2786819761","https://openalex.org/W2811263310","https://openalex.org/W2888272748","https://openalex.org/W2890086692","https://openalex.org/W2898508426","https://openalex.org/W2955215835","https://openalex.org/W2964241064","https://openalex.org/W2977554675","https://openalex.org/W2999907851","https://openalex.org/W3043122026","https://openalex.org/W3046919285","https://openalex.org/W3082737479","https://openalex.org/W3085877220","https://openalex.org/W3087817502","https://openalex.org/W3091089987","https://openalex.org/W3091518781","https://openalex.org/W3096210725","https://openalex.org/W3122425961","https://openalex.org/W3172762589","https://openalex.org/W3177754813","https://openalex.org/W3194555047","https://openalex.org/W3195818176","https://openalex.org/W3206846523","https://openalex.org/W4200540215","https://openalex.org/W4384155409"],"related_works":["https://openalex.org/W2740264376","https://openalex.org/W4206999239","https://openalex.org/W2161928627","https://openalex.org/W4388482952","https://openalex.org/W2786113878","https://openalex.org/W2727867943","https://openalex.org/W3015562293","https://openalex.org/W4400860681","https://openalex.org/W2787155073","https://openalex.org/W2621101275"],"abstract_inverted_index":{"Benchmarking":[0],"software":[1],"testing":[2,35,56,86,125,169,178,251],"tools":[3,179,252],"against":[4,88,131],"known":[5],"bugs":[6,30],"is":[7,21,46,99,191,284],"a":[8,38,85,89,103,109,159],"classic":[9],"approach":[10,20,66,155,190,196],"to":[11,23,31,67,77,92,134,156,165,203,221],"evaluating":[12],"the":[13,28,34,52,69,79,94,106,119,124,136,139,144,181,205,208,213,222,230,246,269,276],"tools\u2019":[14],"bug":[15,91,104,265],"finding":[16,266],"abilities.":[17,267],"However,":[18],"this":[19,49,129,132],"difficult":[22],"give":[24,272],"some":[25],"clues":[26,140,206,215,231],"on":[27,174,207,245,275],"tool-missed":[29,209],"aid":[32,166],"diagnosing":[33,167],"tools.":[36,170],"As":[37],"result,":[39],"heavy":[40],"and":[41,117,180,193,211,261,278],"ad":[42],"hoc":[43],"manual":[44,73,223],"analysis":[45,65,224],"needed.":[47],"In":[48],"work,":[50],"in":[51,105,143,253],"setting":[53],"of":[54,72,108,146,226,280],"GUI":[55,168,177],"for":[57,163],"Android":[58],"apps,":[59],"we":[60,101],"introduce":[61],"an":[62],"automata-based":[63,149],"trace":[64],"tackling":[68],"key":[70,97],"challenge":[71],"analysis,":[74],"i.e.,":[75],"how":[76],"analyze":[78],"lengthy":[80],"event":[81,120],"traces":[82,121],"generated":[83,122],"by":[84,123],"tool":[87,126,185,227,236,270],"missed":[90],"find":[93,234],"clues.":[95,137,282],"Our":[96,171,195],"idea":[98],"that,":[100],"model":[102],"form":[107,145],"finite":[110],"automaton":[111,133],"which":[112,238],"captures":[113],"its":[114],"bug-triggering":[115],"traces;":[116],"match":[118],"(which":[127],"misses":[128],"bug)":[130],"obtain":[135],"Specifically,":[138],"are":[141,216],"presented":[142],"three":[147],"designated":[148],"coverage":[150],"values.":[151],"We":[152],"apply":[153],"our":[154,189,254],"enhance":[157],"Themis,":[158],"representative":[160],"benchmark":[161,201],"suite":[162],"Android,":[164],"extensive":[172],"evaluation":[173],"nine":[175],"state-of-the-art":[176],"involvement":[182],"with":[183],"several":[184,235,259],"developers":[186,271],"shows":[187],"that":[188],"feasible":[192],"useful.":[194],"enables":[197],"Themis+":[198,283],"(the":[199],"enhanced":[200],"suite)":[202],"provide":[204],"bugs,":[210],"all":[212],"Themis+\u2019s":[214,281],"identical":[217],"or":[218,241],"useful,":[219],"compared":[220],"results":[225],"developers.":[228],"Moreover,":[229],"have":[232,256],"helped":[233],"weaknesses,":[237],"were":[239],"unknown":[240],"unclear":[242],"before.":[243],"Based":[244],"clues,":[247],"two":[248],"actively-developing":[249],"industrial":[250],"study":[255],"quickly":[257],"made":[258],"optimizations":[260],"demonstrated":[262],"their":[263],"improved":[264],"All":[268],"positive":[273],"feedback":[274],"usefulness":[277],"usability":[279],"available":[285],"at":[286],"https://github.com/DDroid-Android/home.":[287]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-04-13T07:58:08.660418","created_date":"2025-10-10T00:00:00"}