{"id":"https://openalex.org/W4406466719","doi":"https://doi.org/10.1145/3712194","title":"Backsolver: Adapting Preceding Execution Paths to Solve Constraints for Concolic Execution","display_name":"Backsolver: Adapting Preceding Execution Paths to Solve Constraints for Concolic Execution","publication_year":2025,"publication_date":"2025-01-16","ids":{"openalex":"https://openalex.org/W4406466719","doi":"https://doi.org/10.1145/3712194"},"language":"en","primary_location":{"id":"doi:10.1145/3712194","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3712194","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":null,"display_name":"Yicheng Zeng","orcid":"https://orcid.org/0009-0002-0267-5629"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yicheng Zeng","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0009-0002-0267-5629","affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082057811","display_name":"Zhanwei Song","orcid":null},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhanwei Song","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0009-0000-3284-7351","affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056582773","display_name":"Gang Lv","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114441","display_name":"Zhejiang Provincial Public Security Department","ror":"https://ror.org/01z3tch16","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210114441"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guo Lv","raw_affiliation_strings":["Jiangsu Provincial Public Security Department, Nanjing, China","Jiangsu Provincial Public Security Department, China"],"raw_orcid":"https://orcid.org/0009-0001-4215-9971","affiliations":[{"raw_affiliation_string":"Jiangsu Provincial Public Security Department, Nanjing, China","institution_ids":["https://openalex.org/I4210114441"]},{"raw_affiliation_string":"Jiangsu Provincial Public Security Department, China","institution_ids":["https://openalex.org/I4210114441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5061868426","display_name":"Yu Zhou","orcid":null},"institutions":[{"id":"https://openalex.org/I4210114441","display_name":"Zhejiang Provincial Public Security Department","ror":"https://ror.org/01z3tch16","country_code":"CN","type":"government","lineage":["https://openalex.org/I4210114441"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Zhou","raw_affiliation_strings":["Jiangsu Provincial Public Security Department, Nanjing, China","Jiangsu Provincial Public Security Department, China"],"raw_orcid":"https://orcid.org/0009-0005-3263-8222","affiliations":[{"raw_affiliation_string":"Jiangsu Provincial Public Security Department, Nanjing, China","institution_ids":["https://openalex.org/I4210114441"]},{"raw_affiliation_string":"Jiangsu Provincial Public Security Department, China","institution_ids":["https://openalex.org/I4210114441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087012171","display_name":"Hongsong Zhu","orcid":"https://orcid.org/0000-0003-3720-7403"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongsong Zhu","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0000-0003-3720-7403","affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061643975","display_name":"Limin Sun","orcid":"https://orcid.org/0000-0003-2745-7521"},"institutions":[{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Limin Sun","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0000-0003-2745-7521","affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China and School of Cyber Security, University of the Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404"]},{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, China and School of Cyber Security, University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00757745,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"34","issue":"3","first_page":"1","last_page":"30"},"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.9998999834060669,"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.9998999834060669,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.9990000128746033,"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/concolic-testing","display_name":"Concolic testing","score":0.9304914474487305},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8934763669967651},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5129651427268982},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4771791696548462},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.37552711367607117},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.20668190717697144}],"concepts":[{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.9304914474487305},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8934763669967651},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5129651427268982},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4771791696548462},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.37552711367607117},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.20668190717697144}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3712194","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3712194","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":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W1507201375","https://openalex.org/W1970005004","https://openalex.org/W1971719033","https://openalex.org/W2010417554","https://openalex.org/W2057479755","https://openalex.org/W2067877212","https://openalex.org/W2104993088","https://openalex.org/W2105983962","https://openalex.org/W2107147876","https://openalex.org/W2111379929","https://openalex.org/W2113864883","https://openalex.org/W2138788987","https://openalex.org/W2144344516","https://openalex.org/W2163499368","https://openalex.org/W2186070848","https://openalex.org/W2296669295","https://openalex.org/W2514974017","https://openalex.org/W2574017551","https://openalex.org/W2734941459","https://openalex.org/W2795283266","https://openalex.org/W2913273467","https://openalex.org/W2947265301","https://openalex.org/W2985896598","https://openalex.org/W3008276449","https://openalex.org/W3015365135","https://openalex.org/W3015383024","https://openalex.org/W3015384571","https://openalex.org/W3172606155","https://openalex.org/W3207393608","https://openalex.org/W4200087943","https://openalex.org/W4232172926","https://openalex.org/W4251934889","https://openalex.org/W4256084472","https://openalex.org/W4381050443"],"related_works":["https://openalex.org/W1983849186","https://openalex.org/W34311366","https://openalex.org/W2553223552","https://openalex.org/W2155539595","https://openalex.org/W844671342","https://openalex.org/W4285245777","https://openalex.org/W1992057646","https://openalex.org/W3134905881","https://openalex.org/W1976560018","https://openalex.org/W4239107164"],"abstract_inverted_index":{"Concolic":[0],"execution":[1,4],"follows":[2],"the":[3,30,42,47,55,60,75,88,102,118,135,139,143,156,161,165,172,178,182,186,192,196,206,227,231,247,261,274],"paths":[5,91,99],"of":[6,10,49,63,77,237,250],"concrete":[7],"inputs,":[8],"capable":[9],"generating":[11],"new":[12,78,200,207],"inputs":[13,37,79,159],"for":[14,80,181],"unexplored":[15,81],"code":[16,31,145,179,263],"by":[17,129],"solving":[18,126],"negated":[19],"path":[20,57,152],"constraints.":[21,208],"However,":[22],"implicit":[23,130,228,254],"flows":[24,34,229,255],"can":[25,96],"hinder":[26],"concolic":[27,53,123],"execution,":[28,54],"reducing":[29],"coverage.":[32],"Implicit":[33],"occur":[35],"when":[36],"influence":[38],"control":[39,43],"flow,":[40],"and":[41,94,112,147,154,160,175,202,215,234,267,276],"flow":[44],"variation":[45],"affects":[46],"values":[48,62],"some":[50],"variables.":[51,65],"During":[52],"preceding":[56,90,98],"selections":[58],"limit":[59,177],"potential":[61],"these":[64],"This":[66],"limitation":[67],"may":[68],"result":[69],"in":[70,195,213,230,256,265],"unsolvable":[71],"constraints,":[72],"subsequently":[73],"restricting":[74],"generation":[76],"paths.":[82,149],"Our":[83],"insight":[84],"is":[85,92],"that":[86],"following":[87],"same":[89],"unnecessary,":[93],"we":[95,132,163,176,190],"adapt":[97,148],"to":[100,121,134,141,184,204,220,253],"make":[101],"latest":[103],"constraints":[104,127,198],"solvable.":[105],"We":[106,116,137,209,272],"divide":[107],"states":[108,111,114,120],"into":[109],"general":[110,119,173],"implicit-flow-solving":[113],"(IFSSs).":[115],"utilize":[117],"perform":[122],"execution.":[124],"When":[125,239],"influenced":[128],"flows,":[131],"switch":[133],"IFSSs.":[136,166],"use":[138],"IFSSs":[140,183],"explore":[142],"relevant":[144],"region":[146],"To":[150],"mitigate":[151],"explosion":[153],"construct":[155],"relation":[157],"between":[158],"variables,":[162],"merge":[164],"State":[167],"merging":[168],"does":[169],"not":[170],"burden":[171],"states,":[174],"regions":[180],"minimize":[185],"introduced":[187],"overhead.":[188],"Finally,":[189],"replace":[191],"variable":[193],"symbols":[194],"target":[197],"with":[199],"expressions":[201],"attempt":[203],"solve":[205],"implement":[210],"our":[211],"approach":[212],"Backsolver":[214,223,245,259],"build":[216],"a":[217,269,278],"test":[218,232],"suite":[219,233],"evaluate":[221],"it.":[222],"successfully":[224],"identifies":[225],"all":[226],"resolves":[235,246],"most":[236],"them.":[238],"evaluated":[240],"on":[241],"six":[242],"real-world":[243],"binaries,":[244],"highest":[248,262],"number":[249],"branches":[251],"related":[252],"total.":[257],"Besides,":[258],"has":[260],"coverage":[264],"PlutoSVG":[266],"finds":[268],"0-day":[270],"vulnerability.":[271],"reported":[273],"vulnerability":[275],"obtained":[277],"CVE":[279],"ID.":[280]},"counts_by_year":[],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}