{"id":"https://openalex.org/W3004399156","doi":"https://doi.org/10.1145/3364452.3364456","title":"Quantifying the Exploration of the Korat Solver for Imperative Constraints","display_name":"Quantifying the Exploration of the Korat Solver for Imperative Constraints","publication_year":2019,"publication_date":"2019-12-02","ids":{"openalex":"https://openalex.org/W3004399156","doi":"https://doi.org/10.1145/3364452.3364456","mag":"3004399156"},"language":"en","primary_location":{"id":"doi:10.1145/3364452.3364456","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3364452.3364456","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"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 SIGSOFT Software Engineering Notes","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/A5067305370","display_name":"Alyas Almaawi","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alyas Almaawi","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043589715","display_name":"Hayes Converse","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Hayes Converse","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063052820","display_name":"Milos Gligoric","orcid":"https://orcid.org/0000-0002-5894-7649"},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Milos Gligoric","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057462458","display_name":"Sa\u0161a Misailov\u00edc","orcid":"https://orcid.org/0000-0001-7319-8845"},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sasa Misailovic","raw_affiliation_strings":["University of Illinois at Urbana-Champaign, Urbana, IL, USA"],"affiliations":[{"raw_affiliation_string":"University of Illinois at Urbana-Champaign, Urbana, IL, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102146282","display_name":"Sarfraz Khurshid","orcid":null},"institutions":[{"id":"https://openalex.org/I86519309","display_name":"The University of Texas at Austin","ror":"https://ror.org/00hj54h04","country_code":"US","type":"education","lineage":["https://openalex.org/I86519309"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Sarfraz Khurshid","raw_affiliation_strings":["University of Texas at Austin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"University of Texas at Austin, Austin, TX, USA","institution_ids":["https://openalex.org/I86519309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5067305370"],"corresponding_institution_ids":["https://openalex.org/I86519309"],"apc_list":null,"apc_paid":null,"fwci":0.3198,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.66476525,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"44","issue":"4","first_page":"15","last_page":"19"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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.9980000257492065,"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.6734358072280884},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.6470803022384644},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.621164858341217},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6096392273902893},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.4662284851074219},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.4649822413921356},{"id":"https://openalex.org/keywords/search-algorithm","display_name":"Search algorithm","score":0.4644254446029663},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.46303877234458923},{"id":"https://openalex.org/keywords/space","display_name":"Space (punctuation)","score":0.4294249415397644},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.41259509325027466},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40474456548690796},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.37590691447257996},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3633691072463989},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3294018507003784},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.20574170351028442},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13422757387161255}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6734358072280884},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.6470803022384644},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.621164858341217},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6096392273902893},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.4662284851074219},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4649822413921356},{"id":"https://openalex.org/C125583679","wikidata":"https://www.wikidata.org/wiki/Q755673","display_name":"Search algorithm","level":2,"score":0.4644254446029663},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.46303877234458923},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.4294249415397644},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.41259509325027466},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40474456548690796},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.37590691447257996},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3633691072463989},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3294018507003784},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.20574170351028442},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13422757387161255},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3364452.3364456","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3364452.3364456","pdf_url":null,"source":{"id":"https://openalex.org/S186921487","display_name":"ACM SIGSOFT Software Engineering Notes","issn_l":"0163-5948","issn":["0163-5948","1943-5843"],"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 SIGSOFT Software Engineering Notes","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W1518705996","https://openalex.org/W1710734607","https://openalex.org/W1895387792","https://openalex.org/W1997199152","https://openalex.org/W2009489720","https://openalex.org/W2019153550","https://openalex.org/W2095992952","https://openalex.org/W2101512909","https://openalex.org/W2106144871","https://openalex.org/W2114890558","https://openalex.org/W2131287805","https://openalex.org/W2139553864","https://openalex.org/W2142785340","https://openalex.org/W2149648533","https://openalex.org/W2162120832","https://openalex.org/W2165413178","https://openalex.org/W2171480813","https://openalex.org/W2906878468","https://openalex.org/W2913459036","https://openalex.org/W4237492309","https://openalex.org/W4245234767","https://openalex.org/W4245822332","https://openalex.org/W4253606798","https://openalex.org/W6630973549","https://openalex.org/W6651756850","https://openalex.org/W6675093156","https://openalex.org/W6676095684","https://openalex.org/W6682084297","https://openalex.org/W6757769592"],"related_works":["https://openalex.org/W2396384868","https://openalex.org/W92576581","https://openalex.org/W2186864281","https://openalex.org/W4255427455","https://openalex.org/W1480909796","https://openalex.org/W2152978010","https://openalex.org/W216667991","https://openalex.org/W1966025497","https://openalex.org/W3033455412","https://openalex.org/W4318620547"],"abstract_inverted_index":{"Tools":[0],"that":[1,49,56,85,98],"explore":[2],"very":[3],"large":[4],"state":[5,44],"spaces":[6],"to":[7,15,61,76],"nd":[8,16],"bugs,":[9],"e.g.,":[10,18],"when":[11,19],"model":[12],"checking,":[13],"or":[14],"solutions,":[17],"constraint":[20],"solving,":[21],"can":[22],"take":[23],"a":[24,54,74,82,160],"considerable":[25],"amount":[26],"of":[27,45,80,90,108,129,141,148],"time":[28],"before":[29],"the":[30,35,43,46,78,87,106,109,117,122,127,130,142,146,151,157,163],"search":[31,47,152],"termi-":[32],"nates,":[33],"and":[34,94,120,166],"user":[36,123],"may":[37],"not":[38],"get":[39],"useful":[40],"feedback":[41],"on":[42,126],"during":[48],"time.":[50],"Our":[51,102],"focus":[52],"is":[53,114],"tool":[55,84],"solves":[57],"im-":[58],"perative":[59],"constraints":[60],"provide":[62],"automated":[63],"test":[64],"input":[65,110,132],"generation":[66],"for":[67,162],"systematic":[68],"testing.":[69],"Speci":[70],"cally,":[71],"we":[72],"introduce":[73],"technique":[75,103,158],"quantify":[77],"exploration":[79],"Korat,":[81],"well-known":[83],"explores":[86],"bounded":[88],"space":[89,111],"all":[91],"candidate":[92],"inputs":[93,97],"enumerates":[95],"desired":[96],"satisfy":[99],"given":[100],"constraints.":[101],"quanti":[104],"es":[105],"size":[107,128],"as":[112,145,150,159],"it":[113,136],"explored":[115],"by":[116],"Korat":[118,164],"search,":[119,143,165],"provides":[121],"exact":[124],"information":[125],"remaining":[131],"space.":[133],"In":[134],"addition,":[135],"allows":[137],"studying":[138],"key":[139],"characteristics":[140],"such":[144],"distribution":[147],"solutions":[149],"nds":[153],"them.":[154],"We":[155],"implement":[156],"listener":[161],"present":[167],"initial":[168],"experimental":[169],"results":[170],"using":[171],"it.":[172]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}