{"id":"https://openalex.org/W4284666087","doi":"https://doi.org/10.1145/3510003.3510037","title":"ProMal","display_name":"ProMal","publication_year":2022,"publication_date":"2022-05-21","ids":{"openalex":"https://openalex.org/W4284666087","doi":"https://doi.org/10.1145/3510003.3510037"},"language":"en","primary_location":{"id":"doi:10.1145/3510003.3510037","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3510003.3510037","pdf_url":null,"source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on 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/A5101968691","display_name":"Changlin Liu","orcid":"https://orcid.org/0000-0003-2908-8504"},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Changlin Liu","raw_affiliation_strings":["Case Western Reserve University"],"affiliations":[{"raw_affiliation_string":"Case Western Reserve University","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100637384","display_name":"Hanlin Wang","orcid":"https://orcid.org/0000-0002-1134-0786"},"institutions":[{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]},{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Hanlin Wang","raw_affiliation_strings":["Beijing University of Posts and Telecommunications","Case Western Reserve University"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications","institution_ids":["https://openalex.org/I139759216"]},{"raw_affiliation_string":"Case Western Reserve University","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100647155","display_name":"Tianming Liu","orcid":"https://orcid.org/0000-0002-5216-933X"},"institutions":[{"id":"https://openalex.org/I2801239119","display_name":"Australian Regenerative Medicine Institute","ror":"https://ror.org/02qa5kg76","country_code":"AU","type":"facility","lineage":["https://openalex.org/I2801037857","https://openalex.org/I2801239119","https://openalex.org/I56590836"]},{"id":"https://openalex.org/I56590836","display_name":"Monash University","ror":"https://ror.org/02bfwt286","country_code":"AU","type":"education","lineage":["https://openalex.org/I56590836"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Tianming Liu","raw_affiliation_strings":["Monash University"],"affiliations":[{"raw_affiliation_string":"Monash University","institution_ids":["https://openalex.org/I2801239119","https://openalex.org/I56590836"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038736328","display_name":"Diandian Gu","orcid":"https://orcid.org/0000-0002-3591-3892"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Diandian Gu","raw_affiliation_strings":["Peking University"],"affiliations":[{"raw_affiliation_string":"Peking University","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101614814","display_name":"Yun Ma","orcid":"https://orcid.org/0000-0001-7866-4075"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"education","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yun Ma","raw_affiliation_strings":["Peking University"],"affiliations":[{"raw_affiliation_string":"Peking University","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100427168","display_name":"Haoyu Wang","orcid":"https://orcid.org/0000-0001-6259-843X"},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]},{"id":"https://openalex.org/I139759216","display_name":"Beijing University of Posts and Telecommunications","ror":"https://ror.org/04w9fbh59","country_code":"CN","type":"education","lineage":["https://openalex.org/I139759216"]}],"countries":["CN","US"],"is_corresponding":false,"raw_author_name":"Haoyu Wang","raw_affiliation_strings":["Beijing University of Posts and Telecommunications","Case Western Reserve University"],"affiliations":[{"raw_affiliation_string":"Beijing University of Posts and Telecommunications","institution_ids":["https://openalex.org/I139759216"]},{"raw_affiliation_string":"Case Western Reserve University","institution_ids":["https://openalex.org/I58956616"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012621594","display_name":"Xusheng Xiao","orcid":"https://orcid.org/0000-0003-4797-4294"},"institutions":[{"id":"https://openalex.org/I58956616","display_name":"Case Western Reserve University","ror":"https://ror.org/051fd9666","country_code":"US","type":"education","lineage":["https://openalex.org/I58956616"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xusheng Xiao","raw_affiliation_strings":["Case Western Reserve University"],"affiliations":[{"raw_affiliation_string":"Case Western Reserve University","institution_ids":["https://openalex.org/I58956616"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5101968691"],"corresponding_institution_ids":["https://openalex.org/I58956616"],"apc_list":null,"apc_paid":null,"fwci":0.9819,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.76966825,"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":"1755","last_page":"1767"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991999864578247,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9991999864578247,"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"}},{"id":"https://openalex.org/T12238","display_name":"Green IT and Sustainability","score":0.9987000226974487,"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/T12127","display_name":"Software System Performance and Reliability","score":0.996399998664856,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/static-analysis","display_name":"Static analysis","score":0.8152846097946167},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7632322311401367},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7251321077346802},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6097261309623718},{"id":"https://openalex.org/keywords/security-analysis","display_name":"Security analysis","score":0.4484734535217285},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.44492581486701965},{"id":"https://openalex.org/keywords/graphical-user-interface","display_name":"Graphical user interface","score":0.4353329539299011},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.26634854078292847},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2129601538181305},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.19883573055267334},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.1305740773677826}],"concepts":[{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.8152846097946167},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7632322311401367},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7251321077346802},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6097261309623718},{"id":"https://openalex.org/C38369872","wikidata":"https://www.wikidata.org/wiki/Q7445009","display_name":"Security analysis","level":2,"score":0.4484734535217285},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.44492581486701965},{"id":"https://openalex.org/C37789001","wikidata":"https://www.wikidata.org/wiki/Q782543","display_name":"Graphical user interface","level":2,"score":0.4353329539299011},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.26634854078292847},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2129601538181305},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.19883573055267334},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1305740773677826}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3510003.3510037","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3510003.3510037","pdf_url":null,"source":{"id":"https://openalex.org/S4363608872","display_name":"Proceedings of the 44th International Conference on Software Engineering","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th International Conference on Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.550000011920929,"display_name":"Quality Education"}],"awards":[{"id":"https://openalex.org/G1835447721","display_name":null,"funder_award_id":"CCF-2046953, CNS-2028748","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":44,"referenced_works":["https://openalex.org/W1963661773","https://openalex.org/W1988578917","https://openalex.org/W2001344462","https://openalex.org/W2009489720","https://openalex.org/W2024442685","https://openalex.org/W2027422213","https://openalex.org/W2101512909","https://openalex.org/W2101800210","https://openalex.org/W2110311336","https://openalex.org/W2114345296","https://openalex.org/W2124430468","https://openalex.org/W2128835824","https://openalex.org/W2136922672","https://openalex.org/W2146641295","https://openalex.org/W2148397566","https://openalex.org/W2148847267","https://openalex.org/W2164170598","https://openalex.org/W2166743230","https://openalex.org/W2168909041","https://openalex.org/W2227887088","https://openalex.org/W2242463216","https://openalex.org/W2463553622","https://openalex.org/W2504384057","https://openalex.org/W2597992093","https://openalex.org/W2739905532","https://openalex.org/W2740742367","https://openalex.org/W2916905798","https://openalex.org/W2953461273","https://openalex.org/W2955215835","https://openalex.org/W2963446712","https://openalex.org/W2963919031","https://openalex.org/W2984951742","https://openalex.org/W2992168478","https://openalex.org/W3000438717","https://openalex.org/W3043122026","https://openalex.org/W3089623613","https://openalex.org/W3091089987","https://openalex.org/W3091518781","https://openalex.org/W3096074535","https://openalex.org/W4237492309","https://openalex.org/W4240601173","https://openalex.org/W4250242281","https://openalex.org/W4252435334","https://openalex.org/W4300420355"],"related_works":["https://openalex.org/W2072806201","https://openalex.org/W1997401315","https://openalex.org/W4301442347","https://openalex.org/W2951327511","https://openalex.org/W4288057736","https://openalex.org/W1813069714","https://openalex.org/W4293411375","https://openalex.org/W2366513823","https://openalex.org/W3162659012","https://openalex.org/W2057388677"],"abstract_inverted_index":{"Mobile":[0],"apps":[1,13,189],"have":[2],"been":[3],"an":[4,53,84],"integral":[5],"part":[6],"in":[7,152,195],"our":[8],"daily":[9],"life.":[10],"As":[11],"these":[12,33,39],"become":[14],"more":[15],"complex,":[16],"it":[17],"is":[18,43],"critical":[19],"to":[20,25,44,79,98,127,138,148,177],"provide":[21],"automated":[22,40],"analysis":[23,41,78,104,116,137,147],"techniques":[24,42,165,206],"ensure":[26],"the":[27,67,81,86,99,108,150,153,157,191],"correctness,":[28],"security,":[29],"and":[30,64,76,105,124,143,174,203],"performance":[31],"of":[32,52,102,107,193],"apps.":[34],"A":[35],"key":[36],"component":[37],"for":[38,83],"create":[45],"a":[46,56,114,129,140],"graphical":[47],"user":[48],"interface":[49],"(GUI)":[50],"model":[51],"app,":[54,85],"i.e.,":[55],"window":[57],"transition":[58],"graph":[59],"(WTG),":[60],"that":[61,117,166],"models":[62],"windows":[63],"transitions":[65,91,96,151],"among":[66],"windows.":[68],"While":[69],"existing":[70],"work":[71],"has":[72],"provided":[73],"both":[74],"static":[75,109,120,136,141,154,199],"dynamic":[77,103,122,146,201],"build":[80,139],"WTG":[82,88],"constructed":[87],"misses":[89],"many":[90,94],"or":[92],"contains":[93],"infeasible":[95],"due":[97],"coverage":[100],"issues":[101],"over-approximation":[106],"analysis.":[110],"We":[111],"propose":[112],"ProMal,":[113],"\"tribrid\"":[115],"synergistically":[118],"combines":[119],"analysis,":[121,123,200,202],"machine":[125,163,204],"learning":[126,164,205],"construct":[128],"precise":[130],"WTG.":[131,155],"Specifically,":[132],"ProMal":[133,160,194],"first":[134],"applies":[135,145],"WTG,":[142],"then":[144],"verify":[149],"For":[156],"unverified":[158],"transitions,":[159],"further":[161],"provides":[162],"leverage":[167],"runtime":[168],"information":[169],"(i.e.,":[170],"screenshots,":[171],"UI":[172],"layouts,":[173],"text":[175],"information)":[176],"predict":[178],"whether":[179],"they":[180,208],"are":[181,209],"feasible":[182],"transitions.":[183],"Our":[184],"evaluations":[185],"on":[186],"40":[187],"real-world":[188],"demonstrate":[190],"superiority":[192],"building":[196],"WTGs":[197],"over":[198],"when":[207],"applied":[210],"separately.":[211]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2022-07-08T00:00:00"}