{"id":"https://openalex.org/W2066913862","doi":"https://doi.org/10.1109/issre.2012.25","title":"Lightweight Static Analysis for GUI Testing","display_name":"Lightweight Static Analysis for GUI Testing","publication_year":2012,"publication_date":"2012-11-01","ids":{"openalex":"https://openalex.org/W2066913862","doi":"https://doi.org/10.1109/issre.2012.25","mag":"2066913862"},"language":"en","primary_location":{"id":"doi:10.1109/issre.2012.25","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2012.25","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 23rd International Symposium on Software Reliability Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://orbilu.uni.lu/handle/10993/10428","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5009924300","display_name":"Stephan Arlt","orcid":null},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]},{"id":"https://openalex.org/I186903577","display_name":"University of Luxembourg","ror":"https://ror.org/036x5ad56","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577"]},{"id":"https://openalex.org/I4405259781","display_name":"Interdisciplinary Centre for Security, Reliability and Trust","ror":"https://ror.org/02qav7c04","country_code":"LU","type":"education","lineage":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}],"countries":["DE","LU"],"is_corresponding":false,"raw_author_name":"Stephan Arlt","raw_affiliation_strings":["Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany","University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) >","institution_ids":["https://openalex.org/I186903577","https://openalex.org/I4405259781"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062411838","display_name":"Andreas Podelski","orcid":"https://orcid.org/0000-0003-2540-9489"},"institutions":[{"id":"https://openalex.org/I161046081","display_name":"University of Freiburg","ror":"https://ror.org/0245cg223","country_code":"DE","type":"education","lineage":["https://openalex.org/I161046081"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Podelski","raw_affiliation_strings":["Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany","Albert-Ludwigs University Freiburg, Freiburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]},{"raw_affiliation_string":"Albert-Ludwigs University Freiburg, Freiburg, Germany","institution_ids":["https://openalex.org/I161046081"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5035231618","display_name":"Cristiano Bertolini","orcid":"https://orcid.org/0000-0002-0183-2365"},"institutions":[{"id":"https://openalex.org/I71437568","display_name":"Universidade de Pernambuco","ror":"https://ror.org/00gtcbp88","country_code":"BR","type":"education","lineage":["https://openalex.org/I71437568"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Cristiano Bertolini","raw_affiliation_strings":["Fed. Univ. of Pernambuco, Recife, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Fed. Univ. of Pernambuco, Recife, Brazil","institution_ids":["https://openalex.org/I71437568"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005632259","display_name":"Martin Sch\u00e4f","orcid":"https://orcid.org/0000-0002-6804-0178"},"institutions":[{"id":"https://openalex.org/I190118902","display_name":"United Nations University Institute on Globalization, Culture and Mobility","ror":"https://ror.org/059gc9s81","country_code":"ES","type":"education","lineage":["https://openalex.org/I190118902","https://openalex.org/I4210104502"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Martin Sch\u00e4f","raw_affiliation_strings":["United Nations Univ. Macau, Macau, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"United Nations Univ. Macau, Macau, China","institution_ids":["https://openalex.org/I190118902"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007673090","display_name":"Ishan Banerjee","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ishan Banerjee","raw_affiliation_strings":["Univ. of Maryland, College Park, MD, USA","Univ. of Maryland, College Park, MD, , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Univ. of Maryland, College Park, MD, , USA","institution_ids":["https://openalex.org/I66946132"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5103489081","display_name":"Atif M. Memon","orcid":null},"institutions":[{"id":"https://openalex.org/I66946132","display_name":"University of Maryland, College Park","ror":"https://ror.org/047s2c258","country_code":"US","type":"education","lineage":["https://openalex.org/I66946132"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Atif M. Memon","raw_affiliation_strings":["Univ. of Maryland, College Park, MD, USA","Univ. of Maryland, College Park, MD, , USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Maryland, College Park, MD, USA","institution_ids":["https://openalex.org/I66946132"]},{"raw_affiliation_string":"Univ. of Maryland, College Park, MD, , USA","institution_ids":["https://openalex.org/I66946132"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.9203,"has_fulltext":false,"cited_by_count":53,"citation_normalized_percentile":{"value":0.97655105,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"301","last_page":"310"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9991000294685364,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7501965761184692},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7372732162475586},{"id":"https://openalex.org/keywords/call-graph","display_name":"Call graph","score":0.6782118082046509},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.5716671347618103},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5011053085327148},{"id":"https://openalex.org/keywords/dependency-graph","display_name":"Dependency graph","score":0.4986915588378906},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4803394079208374},{"id":"https://openalex.org/keywords/source-code","display_name":"Source code","score":0.43195247650146484},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.42406001687049866}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7501965761184692},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7372732162475586},{"id":"https://openalex.org/C102379954","wikidata":"https://www.wikidata.org/wiki/Q2589940","display_name":"Call graph","level":2,"score":0.6782118082046509},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.5716671347618103},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5011053085327148},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.4986915588378906},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4803394079208374},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.43195247650146484},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42406001687049866},{"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/issre.2012.25","is_oa":false,"landing_page_url":"https://doi.org/10.1109/issre.2012.25","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE 23rd International Symposium on Software Reliability Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.593.9376","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.9376","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.umd.edu/~atif/papers/ArltISSRE2012.pdf","raw_type":"text"},{"id":"pmh:oai:orbilu.uni.lu:10993/10428","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/10428","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSRE (2012); ISSRE, from 2012-11-27 to 2012-11-30","raw_type":"http://purl.org/coar/resource_type/c_5794"}],"best_oa_location":{"id":"pmh:oai:orbilu.uni.lu:10993/10428","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/10428","pdf_url":null,"source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSRE (2012); ISSRE, from 2012-11-27 to 2012-11-30","raw_type":"http://purl.org/coar/resource_type/c_5794"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.699999988079071,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W1520594564","https://openalex.org/W1603781805","https://openalex.org/W1986061933","https://openalex.org/W1998995676","https://openalex.org/W2011565812","https://openalex.org/W2096449544","https://openalex.org/W2105864475","https://openalex.org/W2108222723","https://openalex.org/W2113457891","https://openalex.org/W2117141328","https://openalex.org/W2123193008","https://openalex.org/W2126379098","https://openalex.org/W2126627822","https://openalex.org/W2128779711","https://openalex.org/W2133377719","https://openalex.org/W2146174626","https://openalex.org/W2147889321","https://openalex.org/W2155233265","https://openalex.org/W2164948420","https://openalex.org/W2166770977","https://openalex.org/W2171680248","https://openalex.org/W2172081876","https://openalex.org/W4237492309"],"related_works":["https://openalex.org/W2598672065","https://openalex.org/W1993817217","https://openalex.org/W3120610872","https://openalex.org/W2052026825","https://openalex.org/W1638297612","https://openalex.org/W2523911541","https://openalex.org/W1515628377","https://openalex.org/W4386035321","https://openalex.org/W2808651716","https://openalex.org/W4255698536"],"abstract_inverted_index":{"GUI":[0,181],"testing":[1],"is":[2,10,30],"an":[3,54,60,92,205],"active":[4],"research":[5],"area.":[6],"The":[7,48],"open":[8,179],"challenge":[9],"the":[11,31,46,79,89,107,122,126,145,161,175,184,192,200],"judicious":[12],"generation":[13],"of":[14,33,91,104,125,156,187,208],"event":[15,18,40,76,80,93,108,158,209],"sequences":[16,41,77,81,159],"(an":[17],"sequence":[19,94],"encodes":[20],"a":[21,34,70,84,96,101,112,118,133,149,154,170,188],"user":[22],"interaction).":[23],"A":[24],"major":[25],"advance":[26],"in":[27,106,169],"this":[28,66],"direction":[29],"use":[32,144],"black-box":[35,49,85,114,150],"model":[36,50,151],"to":[37,73,121,131,152,195,204,217],"systematically":[38],"generate":[39],"that":[42],"are":[43,215],"executable":[44,162],"on":[45,177],"GUI.":[47],"can":[51],"be,":[52],"e.g.,":[53],"Event":[55,61,139],"Flow":[56],"Graph":[57,63,141],"(EFG)":[58],"or":[59],"Sequence":[62],"(ESG).":[64],"In":[65],"paper":[67],"we":[68,116,137,214],"propose":[69],"new":[71,171],"approach":[72,115,168,176,193,213],"select":[74],"relevant":[75,157],"among":[78,160],"generated":[82],"by":[83,95],"model.":[86],"We":[87,143,164,173],"express":[88],"relevance":[90],"precisely":[97],"defined":[98],"dependency":[99,134],"between":[100],"fixed":[102],"number":[103],"events":[105],"sequence.":[109],"Departing":[110],"from":[111],"pure":[113],"apply":[117],"static":[119,190],"analysis":[120],"byte":[123],"code":[124],"application.":[127],"This":[128],"allows":[129],"us":[130],"infer":[132],"graph,":[135],"which":[136],"call":[138],"Dependency":[140],"(EDG).":[142],"EDG":[146],"together":[147],"with":[148],"construct":[153],"set":[155],"ones.":[163],"have":[165],"implemented":[166],"our":[167,212],"tool.":[172],"evaluate":[174],"four":[178],"source":[180],"applications.":[182],"With":[183],"specific":[185],"choice":[186],"lightweight":[189],"analysis,":[191],"scales":[194],"large":[196],"applications":[197],"and,":[198],"at":[199],"same":[201],"time,":[202],"leads":[203],"informed":[206],"selection":[207],"sequences.":[210],"Using":[211],"able":[216],"find":[218],"previously":[219],"undetected":[220],"bugs.":[221]},"counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":6},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":2}],"updated_date":"2026-08-29T07:29:34.045763","created_date":"2025-10-10T00:00:00"}
