{"id":"https://openalex.org/W4205451017","doi":"https://doi.org/10.1109/ase51524.2021.9678881","title":"Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost","display_name":"Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost","publication_year":2021,"publication_date":"2021-11-01","ids":{"openalex":"https://openalex.org/W4205451017","doi":"https://doi.org/10.1109/ase51524.2021.9678881"},"language":"en","primary_location":{"id":"doi:10.1109/ase51524.2021.9678881","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678881","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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/A5027343585","display_name":"Malte Mues","orcid":"https://orcid.org/0000-0002-6291-9886"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Malte Mues","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5037058130","display_name":"Falk Howar","orcid":"https://orcid.org/0000-0002-9524-4459"},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Falk Howar","raw_affiliation_strings":["TU Dortmund University, Dortmund, Germany"],"affiliations":[{"raw_affiliation_string":"TU Dortmund University, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5027343585"],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":null,"apc_paid":null,"fwci":0.8509,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.7277013,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":"2015","issue":null,"first_page":"179","last_page":"190"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9994999766349792,"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/T10260","display_name":"Software Engineering Research","score":0.9994000196456909,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.998199999332428,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8431879878044128},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.8321748971939087},{"id":"https://openalex.org/keywords/suite","display_name":"Suite","score":0.5498054027557373},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5191971063613892},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.4337804913520813},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.36110180616378784},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10620853304862976}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8431879878044128},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.8321748971939087},{"id":"https://openalex.org/C79581498","wikidata":"https://www.wikidata.org/wiki/Q1367530","display_name":"Suite","level":2,"score":0.5498054027557373},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5191971063613892},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.4337804913520813},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.36110180616378784},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10620853304862976},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"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/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ase51524.2021.9678881","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ase51524.2021.9678881","pdf_url":null,"source":{"id":"https://openalex.org/S4363608212","display_name":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","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":"2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6899999976158142,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W51507023","https://openalex.org/W92909155","https://openalex.org/W1017176722","https://openalex.org/W1023119160","https://openalex.org/W1526726828","https://openalex.org/W1586300459","https://openalex.org/W1593003168","https://openalex.org/W1810306334","https://openalex.org/W1952344271","https://openalex.org/W1973650063","https://openalex.org/W2017035494","https://openalex.org/W2023887108","https://openalex.org/W2033018395","https://openalex.org/W2052958416","https://openalex.org/W2094568767","https://openalex.org/W2117402063","https://openalex.org/W2164622707","https://openalex.org/W2427136657","https://openalex.org/W2482729551","https://openalex.org/W2501678966","https://openalex.org/W2548985278","https://openalex.org/W2554061909","https://openalex.org/W2565985959","https://openalex.org/W2625435605","https://openalex.org/W2736027423","https://openalex.org/W2741027466","https://openalex.org/W2750660666","https://openalex.org/W2765527199","https://openalex.org/W2767683523","https://openalex.org/W2772336084","https://openalex.org/W2776845434","https://openalex.org/W2805419234","https://openalex.org/W2883887424","https://openalex.org/W2899573209","https://openalex.org/W2910081537","https://openalex.org/W2954487282","https://openalex.org/W2971997611","https://openalex.org/W2978995391","https://openalex.org/W3017087660","https://openalex.org/W3022618186","https://openalex.org/W3034071395","https://openalex.org/W3086845378","https://openalex.org/W3093870681","https://openalex.org/W3104309163","https://openalex.org/W3110853414","https://openalex.org/W3124323960","https://openalex.org/W3136521622","https://openalex.org/W3136901529","https://openalex.org/W3138999919","https://openalex.org/W4232808412","https://openalex.org/W4246691913"],"related_works":["https://openalex.org/W2083794993","https://openalex.org/W4379115841","https://openalex.org/W1511772879","https://openalex.org/W3170750609","https://openalex.org/W2979471250","https://openalex.org/W2127898439","https://openalex.org/W2186315912","https://openalex.org/W2098397451","https://openalex.org/W2248125223","https://openalex.org/W3195664246"],"abstract_inverted_index":{"Many":[0],"modern":[1],"software":[2],"engineering":[3],"tools":[4],"integrate":[5],"SMT":[6,17,84,126],"decision":[7,150,181],"procedures":[8,49,151],"and":[9,14,35,54,74,80,110,152,159],"rely":[10],"on":[11,86,139,145,156,174],"the":[12,68,91,98,120,146],"accuracy":[13],"performance":[15,93,99,147],"of":[16,61,70,100,124,148],"solvers.":[18],"We":[19,104],"describe":[20],"four":[21],"basic":[22],"patterns":[23],"for":[24,43,59,163,171,179],"integrating":[25],"constraint":[26],"solvers":[27,46,85],"(earliest":[28],"verdict,":[29],"majority":[30],"vote,":[31],"feature-based":[32],"solver":[33],"selection,":[34],"verdict-based":[36],"second":[37],"attempt)":[38],"that":[39,50,166],"can":[40,96,167],"be":[41,169],"used":[42,170],"combining":[44],"individual":[45,149],"into":[47],"meta-decision":[48],"balance":[51],"accuracy,":[52],"performance,":[53],"cost":[55],"\u2013":[56],"or":[57,178],"optimize":[58],"one":[60],"these":[62,157],"metrics.":[63],"In":[64],"order":[65],"to":[66],"evaluate":[67],"effectiveness":[69],"meta-solving,":[71],"we":[72,95,117],"analyze":[73],"minimize":[75],"16":[76],"existing":[77],"benchmark":[78,81,122,140,176],"suites":[79],"seven":[82],"state-of-the-art":[83],"17k":[87],"unique":[88,125],"instances.":[89],"From":[90],"obtained":[92],"data,":[94],"estimate":[97],"different":[101,175,180],"meta-solving":[102,154],"strategies.":[103,113],"validate":[105],"our":[106],"results":[107],"by":[108],"implementing":[109],"analyzing":[111],"two":[112],"As":[114],"additional":[115],"results,":[116],"obtain":[118],"(a)":[119],"first":[121],"suite":[123],"string":[127],"problems":[128],"with":[129],"validated":[130],"expected":[131],"verdicts,":[132],"(b)":[133],"an":[134],"extensive":[135],"dataset":[136],"containing":[137],"data":[138,165],"instances":[141,177],"as":[142,144],"well":[143],"several":[153],"strategies":[155],"instances,":[158],"(c)":[160],"a":[161],"framework":[162],"generating":[164],"easily":[168],"similar":[172],"analyses":[173],"procedures.":[182]},"counts_by_year":[{"year":2022,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}