{"id":"https://openalex.org/W4410343899","doi":"https://doi.org/10.1145/3735552","title":"Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving","display_name":"Integrating Path Selection for Symbolic Execution and Variable Selection for Constraint Solving","publication_year":2025,"publication_date":"2025-05-13","ids":{"openalex":"https://openalex.org/W4410343899","doi":"https://doi.org/10.1145/3735552"},"language":"en","primary_location":{"id":"doi:10.1145/3735552","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3735552","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":true,"oa_status":"green","oa_url":"https://ink.library.smu.edu.sg/sis_research/10290","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054394075","display_name":"Shunkai Zhu","orcid":"https://orcid.org/0000-0001-6428-6739"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Shunkai Zhu","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100429004","display_name":"Jun Sun","orcid":"https://orcid.org/0000-0002-3545-1392"},"institutions":[{"id":"https://openalex.org/I79891267","display_name":"Singapore Management University","ror":"https://ror.org/050qmg959","country_code":"SG","type":"education","lineage":["https://openalex.org/I79891267"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Jun Sun","raw_affiliation_strings":["Singapore Management University, Singapore, Singapore","Singapore Management University, Singapore"],"affiliations":[{"raw_affiliation_string":"Singapore Management University, Singapore, Singapore","institution_ids":["https://openalex.org/I79891267"]},{"raw_affiliation_string":"Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100319491","display_name":"Jingyi Wang","orcid":"https://orcid.org/0000-0001-7113-7635"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jingyi Wang","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024920190","display_name":"Zhenbang Chen","orcid":"https://orcid.org/0000-0002-4066-7892"},"institutions":[{"id":"https://openalex.org/I170215575","display_name":"National University of Defense Technology","ror":"https://ror.org/05d2yfz11","country_code":"CN","type":"education","lineage":["https://openalex.org/I170215575"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhenbang Chen","raw_affiliation_strings":["National University of Defense Technology, Changsha, China","National University of Defense Technology, China"],"affiliations":[{"raw_affiliation_string":"National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]},{"raw_affiliation_string":"National University of Defense Technology, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111090174","display_name":"Peng Cheng","orcid":"https://orcid.org/0000-0002-4453-2274"},"institutions":[{"id":"https://openalex.org/I76130692","display_name":"Zhejiang University","ror":"https://ror.org/00a2xv884","country_code":"CN","type":"education","lineage":["https://openalex.org/I76130692"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Peng Cheng","raw_affiliation_strings":["Zhejiang University, Hangzhou, China","Zhejiang University, China"],"affiliations":[{"raw_affiliation_string":"Zhejiang University, Hangzhou, China","institution_ids":["https://openalex.org/I76130692"]},{"raw_affiliation_string":"Zhejiang University, China","institution_ids":["https://openalex.org/I76130692"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5054394075"],"corresponding_institution_ids":["https://openalex.org/I76130692"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09546198,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"35","issue":"3","first_page":"1","last_page":"28"},"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.9997000098228455,"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.9997000098228455,"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.9994000196456909,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9988999962806702,"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.8340442180633545},{"id":"https://openalex.org/keywords/selection","display_name":"Selection (genetic algorithm)","score":0.6781342029571533},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.5561667680740356},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5481340289115906},{"id":"https://openalex.org/keywords/variable","display_name":"Variable (mathematics)","score":0.49598440527915955},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.42724502086639404},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34314632415771484},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.24601873755455017},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.203182190656662},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.10886740684509277},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.09041452407836914}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8340442180633545},{"id":"https://openalex.org/C81917197","wikidata":"https://www.wikidata.org/wiki/Q628760","display_name":"Selection (genetic algorithm)","level":2,"score":0.6781342029571533},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.5561667680740356},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5481340289115906},{"id":"https://openalex.org/C182365436","wikidata":"https://www.wikidata.org/wiki/Q50701","display_name":"Variable (mathematics)","level":2,"score":0.49598440527915955},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.42724502086639404},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34314632415771484},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24601873755455017},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.203182190656662},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.10886740684509277},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.09041452407836914},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3735552","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3735552","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"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-11291","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/10290","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"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":"https://doi.org/10.1145/3735552","raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-11291","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/10290","pdf_url":null,"source":{"id":"https://openalex.org/S4306401925","display_name":"Singapore Management University Institutional Knowledge (InK) (Singapore Management University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79891267","host_organization_name":"Singapore Management University","host_organization_lineage":["https://openalex.org/I79891267"],"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":"https://doi.org/10.1145/3735552","raw_type":"Journal Article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W81626549","https://openalex.org/W95608104","https://openalex.org/W116894366","https://openalex.org/W157156687","https://openalex.org/W1543330234","https://openalex.org/W1558598345","https://openalex.org/W1710734607","https://openalex.org/W1787074469","https://openalex.org/W1988302213","https://openalex.org/W2011367000","https://openalex.org/W2020703884","https://openalex.org/W2047694629","https://openalex.org/W2066353350","https://openalex.org/W2101512909","https://openalex.org/W2107147876","https://openalex.org/W2113864883","https://openalex.org/W2137351629","https://openalex.org/W2142306100","https://openalex.org/W2150990339","https://openalex.org/W2152565783","https://openalex.org/W2514974017","https://openalex.org/W2571456046","https://openalex.org/W2795283266","https://openalex.org/W2888632077","https://openalex.org/W2913273467","https://openalex.org/W2925685215","https://openalex.org/W2947081899","https://openalex.org/W2963723316","https://openalex.org/W2964177714","https://openalex.org/W2967341500","https://openalex.org/W3006120505","https://openalex.org/W3007533873","https://openalex.org/W3008276449","https://openalex.org/W3011209520","https://openalex.org/W3011632945","https://openalex.org/W3015084943","https://openalex.org/W3015365135","https://openalex.org/W3042714377","https://openalex.org/W3100536750","https://openalex.org/W3138777601","https://openalex.org/W3213182664","https://openalex.org/W4206807714","https://openalex.org/W4234542549","https://openalex.org/W4237492309","https://openalex.org/W4243887386","https://openalex.org/W4253752119","https://openalex.org/W4293414958","https://openalex.org/W4300545929","https://openalex.org/W4407878857","https://openalex.org/W6606430823"],"related_works":["https://openalex.org/W2905722102","https://openalex.org/W2155539595","https://openalex.org/W2752815423","https://openalex.org/W4306251929","https://openalex.org/W345638404","https://openalex.org/W2801797726","https://openalex.org/W4295529944","https://openalex.org/W844671342","https://openalex.org/W2521287362","https://openalex.org/W2912813468"],"abstract_inverted_index":{"Symbolic":[0],"execution":[1,20,66,210],"is":[2,32,120,197],"a":[3,45,75,154,161,187,222],"powerful":[4],"technique":[5],"that":[6,23,195,215],"can":[7,217],"accurately":[8],"synthesize":[9],"program":[10,13,38,99,119,155],"inputs":[11],"for":[12,96,172],"testing":[14,225],"through":[15,35,51],"constraint":[16,69,138,164],"solving.":[17],"Applying":[18],"symbolic":[19,65,158,209],"effectively":[21],"means":[22],"we":[24,143,213],"must":[25],"solve":[26],"two":[27,78,175],"searching":[28],"problems":[29],"efficiently.":[30],"One":[31],"to":[33,49,56,227],"search":[34,50],"the":[36,41,52,77,89,117,137,150,168,174,206],"many":[37,98],"paths":[39],"and":[40,125,131,160,166,183],"other":[42],"is,":[43],"given":[44],"particular":[46],"path":[47,156],"condition,":[48],"numerous":[53],"variable":[54,91,162],"assignments":[55,92],"identify":[57],"one":[58,123,126],"satisfying":[59],"solution.":[60],"With":[61],"few":[62],"exceptions,":[63],"existing":[64],"engines":[67],"treat":[68],"solvers":[70],"as":[71,122,170],"black":[72],"boxes.":[73],"As":[74],"result,":[76],"searches":[79],"are":[80],"completely":[81],"separated,":[82],"which":[83,116,147],"results":[84,135,193],"in":[85],"much":[86],"redundancy":[87],"(i.e.,":[88],"same":[90],"may":[93],"be":[94,218],"tried":[95],"solving":[97,134],"paths).":[100],"Existing":[101],"attempts":[102],"on":[103,111,129,181,186],"addressing":[104],"this":[105,141],"issue":[106],"include":[107],"those":[108],"approaches":[109],"based":[110,180],"constrained":[112],"Horn":[113],"clauses":[114],"(in":[115],"whole":[118],"encoded":[121],"constraint)":[124],"preliminary":[127],"attempt":[128],"caching":[130],"reusing":[132],"partial":[133],"from":[136],"solver.":[139],"In":[140],"work,":[142],"propose":[144],"SEC":[145,179,196,216],",":[146],"systematically":[148],"computes":[149],"reward":[151,169],"of":[152,190],"concretizing":[153],"(for":[157,163],"execution)":[159],"solving)":[165],"uses":[167],"guide":[171],"integrating":[173],"searches.":[176],"We":[177],"implemented":[178],"KLEE":[182],"evaluated":[184],"it":[185],"diverse":[188],"set":[189],"programs.":[191],"The":[192],"show":[194,214],"effective,":[198],"i.e.,":[199],"achieving":[200],"15%":[201],"more":[202],"code":[203],"coverage":[204],"than":[205],"state-of-the-art":[207,223],"baseline":[208],"engines.":[211],"Furthermore,":[212],"readily":[219],"combined":[220],"with":[221],"concolic":[224],"engine":[226],"improve":[228],"its":[229],"performance":[230]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}