{"id":"https://openalex.org/W4389560258","doi":"https://doi.org/10.1145/3637225","title":"Algorithm\u00a0Selection for Software Verification Using Graph Neural Networks","display_name":"Algorithm\u00a0Selection for Software Verification Using Graph Neural Networks","publication_year":2023,"publication_date":"2023-12-11","ids":{"openalex":"https://openalex.org/W4389560258","doi":"https://doi.org/10.1145/3637225"},"language":"en","primary_location":{"id":"doi:10.1145/3637225","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3637225","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","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/A5036187899","display_name":"Will Leeson","orcid":null},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Will Leeson","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086757331","display_name":"Matthew B. Dwyer","orcid":"https://orcid.org/0000-0002-1937-1544"},"institutions":[{"id":"https://openalex.org/I51556381","display_name":"University of Virginia","ror":"https://ror.org/0153tk833","country_code":"US","type":"education","lineage":["https://openalex.org/I51556381"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Matthew B. Dwyer","raw_affiliation_strings":["University of Virginia, Charlottesville, VA, USA"],"affiliations":[{"raw_affiliation_string":"University of Virginia, Charlottesville, VA, USA","institution_ids":["https://openalex.org/I51556381"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5036187899"],"corresponding_institution_ids":["https://openalex.org/I51556381"],"apc_list":null,"apc_paid":null,"fwci":0.6475,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.78557771,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"33","issue":"3","first_page":"1","last_page":"36"},"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.9991999864578247,"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.9991999864578247,"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.9958999752998352,"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.9957000017166138,"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.8761330246925354},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.42289745807647705},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4136890172958374},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.41005799174308777},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3702865540981293},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34920910000801086},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34734034538269043},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3470262885093689}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8761330246925354},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.42289745807647705},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4136890172958374},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.41005799174308777},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3702865540981293},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34920910000801086},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34734034538269043},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3470262885093689}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3637225","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3637225","pdf_url":null,"source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2198668877","display_name":null,"funder_award_id":"W911NF-19-1-0054","funder_id":"https://openalex.org/F4320338281","funder_display_name":"Army Research Office"},{"id":"https://openalex.org/G4713059963","display_name":null,"funder_award_id":"FA8750","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G5451389186","display_name":null,"funder_award_id":"FA8750-20-C-0507","funder_id":"https://openalex.org/F4320332180","funder_display_name":"Defense Advanced Research Projects Agency"},{"id":"https://openalex.org/G7090116110","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"},{"id":"https://openalex.org/G7650607359","display_name":null,"funder_award_id":"FA9550-21-1-0164","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G8722205058","display_name":null,"funder_award_id":"-19-1-","funder_id":"https://openalex.org/F4320332467","funder_display_name":"U.S. Air Force"}],"funders":[{"id":"https://openalex.org/F4320310536","display_name":"University of Virginia","ror":"https://ror.org/0153tk833"},{"id":"https://openalex.org/F4320332180","display_name":"Defense Advanced Research Projects Agency","ror":"https://ror.org/02caytj08"},{"id":"https://openalex.org/F4320332467","display_name":"U.S. Air Force","ror":"https://ror.org/006gmme17"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338281","display_name":"Army Research Office","ror":"https://ror.org/05epdh915"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":107,"referenced_works":["https://openalex.org/W144278825","https://openalex.org/W327452528","https://openalex.org/W639708223","https://openalex.org/W1497571013","https://openalex.org/W1498436455","https://openalex.org/W1524622503","https://openalex.org/W1552280794","https://openalex.org/W1615506555","https://openalex.org/W1960260849","https://openalex.org/W1972085995","https://openalex.org/W1990016442","https://openalex.org/W1995341919","https://openalex.org/W2005825070","https://openalex.org/W2043100293","https://openalex.org/W2067544274","https://openalex.org/W2087347434","https://openalex.org/W2094160561","https://openalex.org/W2101512909","https://openalex.org/W2116341502","https://openalex.org/W2124712926","https://openalex.org/W2142498761","https://openalex.org/W2144344516","https://openalex.org/W2147088720","https://openalex.org/W2149647957","https://openalex.org/W2149907859","https://openalex.org/W2151336736","https://openalex.org/W2158395308","https://openalex.org/W2161253570","https://openalex.org/W2163605009","https://openalex.org/W2194775991","https://openalex.org/W2295903414","https://openalex.org/W2348183150","https://openalex.org/W2356183642","https://openalex.org/W2401003083","https://openalex.org/W2467636347","https://openalex.org/W2519887557","https://openalex.org/W2548985278","https://openalex.org/W2570655340","https://openalex.org/W2583993537","https://openalex.org/W2597472131","https://openalex.org/W2598574259","https://openalex.org/W2613409207","https://openalex.org/W2613718673","https://openalex.org/W2765323781","https://openalex.org/W2780544323","https://openalex.org/W2787740662","https://openalex.org/W2789876780","https://openalex.org/W2797002635","https://openalex.org/W2797613250","https://openalex.org/W2805419234","https://openalex.org/W2809136100","https://openalex.org/W2809925683","https://openalex.org/W2888321432","https://openalex.org/W2898873842","https://openalex.org/W2899114364","https://openalex.org/W2922064655","https://openalex.org/W2927040248","https://openalex.org/W2934127774","https://openalex.org/W2950898568","https://openalex.org/W2962711740","https://openalex.org/W2962810718","https://openalex.org/W2962946486","https://openalex.org/W2963499994","https://openalex.org/W2963811535","https://openalex.org/W2963935794","https://openalex.org/W2964015378","https://openalex.org/W2972317931","https://openalex.org/W2995179471","https://openalex.org/W3000280594","https://openalex.org/W3013302896","https://openalex.org/W3016124664","https://openalex.org/W3016591891","https://openalex.org/W3016875846","https://openalex.org/W3017047012","https://openalex.org/W3017087660","https://openalex.org/W3033691023","https://openalex.org/W3041877813","https://openalex.org/W3086449553","https://openalex.org/W3100944043","https://openalex.org/W3122946311","https://openalex.org/W3128785555","https://openalex.org/W3136521622","https://openalex.org/W3137985772","https://openalex.org/W4225751037","https://openalex.org/W4226246074","https://openalex.org/W4226288603","https://openalex.org/W4254642654","https://openalex.org/W4286795917","https://openalex.org/W4287824563","https://openalex.org/W4292402161","https://openalex.org/W4297733535","https://openalex.org/W4297817821","https://openalex.org/W4297901147","https://openalex.org/W4298447450","https://openalex.org/W4300235091","https://openalex.org/W4384345696","https://openalex.org/W4385245566","https://openalex.org/W6635300605","https://openalex.org/W6681029592","https://openalex.org/W6690815549","https://openalex.org/W6739901393","https://openalex.org/W6745034332","https://openalex.org/W6745316256","https://openalex.org/W6754929296","https://openalex.org/W6775947557","https://openalex.org/W6778818819","https://openalex.org/W6797464607"],"related_works":["https://openalex.org/W4205762803","https://openalex.org/W2535856026","https://openalex.org/W2265065644","https://openalex.org/W2134699697","https://openalex.org/W3017188156","https://openalex.org/W2322875716","https://openalex.org/W2391251536","https://openalex.org/W2383516975","https://openalex.org/W2374878784","https://openalex.org/W2147679489"],"abstract_inverted_index":{"The":[0],"field":[1],"of":[2,10,18,20,31,40,100,126,197],"software":[3],"verification":[4,45,49,74,128,133,143],"has":[5,25],"produced":[6],"a":[7,16,21,62,86,97,101,105,108,111,124,170],"wide":[8],"array":[9],"algorithmic":[11,199],"techniques":[12,33],"that":[13,28,113,137,180,191],"can":[14,34],"prove":[15],"variety":[17],"properties":[19],"given":[22,63],"program.":[23,119],"It":[24],"been":[26],"demonstrated":[27],"the":[29,43,69,118,140,181,194,198],"performance":[30,116],"these":[32],"vary":[35],"up":[36],"to":[37,54,156,185,193],"4":[38],"orders":[39],"magnitude":[41],"on":[42,61,90,117,123,165,173,189],"same":[44],"problem.":[46,64],"Even":[47],"for":[48,72,110],"experts,":[50],"it":[51,138,153],"is":[52,76,154],"difficult":[53],"decide":[55],"which":[56,104],"tool":[57,71],"will":[58],"perform":[59],"best":[60,70],"For":[65],"general":[66],"users,":[67],"deciding":[68],"their":[73],"problem":[75],"effectively":[77],"impossible.":[78],"In":[79],"this":[80],"work,":[81],"we":[82,176],"present":[83],"Graves":[84,95,122,182],",":[85],"selection":[87,145],"strategy":[88],"based":[89],"graph":[91,98],"neural":[92],"networks":[93],"(GNNs).":[94],"generates":[96],"representation":[99],"program":[102],"from":[103],"GNN":[106],"predicts":[107],"score":[109],"verifier":[112,164],"indicates":[114],"its":[115,187],"We":[120],"evaluate":[121],"set":[125],"10":[127],"tools":[129],"and":[130,135],"over":[131],"8,000":[132],"problems":[134,160],"find":[136,177],"improves":[139],"state-of-the-art":[141],"in":[142],"algorithm":[144],"by":[146],"12%,":[147],"or":[148],"8":[149],"percentage":[150],"points.":[151],"Further,":[152],"able":[155],"verify":[157],"9%":[158],"more":[159],"than":[161],"any":[162],"existing":[163],"our":[166],"test":[167],"set.":[168],"Through":[169],"qualitative":[171],"study":[172],"model":[174,183],"interpretability,":[175],"strong":[178],"evidence":[179],"learns":[184],"base":[186],"predictions":[188],"factors":[190],"relate":[192],"unique":[195],"features":[196],"techniques.":[200]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}