{"id":"https://openalex.org/W3197503427","doi":"https://doi.org/10.18293/seke2021-018","title":"FCEP: A Fast Concolic Execution for Reaching Software Patches","display_name":"FCEP: A Fast Concolic Execution for Reaching Software Patches","publication_year":2021,"publication_date":"2021-07-09","ids":{"openalex":"https://openalex.org/W3197503427","doi":"https://doi.org/10.18293/seke2021-018","mag":"3197503427"},"language":"en","primary_location":{"id":"doi:10.18293/seke2021-018","is_oa":true,"landing_page_url":"http://doi.org/10.18293/seke2021-018","pdf_url":"https://doi.org/10.18293/seke2021-018","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://doi.org/10.18293/seke2021-018","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5070600394","display_name":"Meng Fan","orcid":"https://orcid.org/0000-0002-3419-7652"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"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":true,"raw_author_name":"Meng Fan","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences","School of Cyber Security, University of Chinese Academy of Sciences Beijing, China"],"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]},{"raw_affiliation_string":"School of Cyber Security, University of Chinese Academy of Sciences Beijing, China","institution_ids":["https://openalex.org/I4210165038"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5070600394"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210156404","https://openalex.org/I4210165038"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.17362817,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"2021","issue":null,"first_page":"510","last_page":"515"},"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/T10260","display_name":"Software Engineering Research","score":0.9991999864578247,"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/T12423","display_name":"Software Reliability and Analysis Research","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"}}],"keywords":[{"id":"https://openalex.org/keywords/concolic-testing","display_name":"Concolic testing","score":0.8507285118103027},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8220838308334351},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7203177213668823},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5818583965301514},{"id":"https://openalex.org/keywords/symbolic-execution","display_name":"Symbolic execution","score":0.5653936266899109},{"id":"https://openalex.org/keywords/code-coverage","display_name":"Code coverage","score":0.5640769004821777},{"id":"https://openalex.org/keywords/cover","display_name":"Cover (algebra)","score":0.47505876421928406},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.42892006039619446},{"id":"https://openalex.org/keywords/test-case","display_name":"Test case","score":0.4214853048324585},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.41868484020233154},{"id":"https://openalex.org/keywords/software-testing","display_name":"Software testing","score":0.411426305770874},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3542928099632263},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.35391128063201904},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2626199722290039},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.1143634021282196},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08249321579933167}],"concepts":[{"id":"https://openalex.org/C11219265","wikidata":"https://www.wikidata.org/wiki/Q5158734","display_name":"Concolic testing","level":4,"score":0.8507285118103027},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8220838308334351},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7203177213668823},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5818583965301514},{"id":"https://openalex.org/C2779639559","wikidata":"https://www.wikidata.org/wiki/Q7661178","display_name":"Symbolic execution","level":3,"score":0.5653936266899109},{"id":"https://openalex.org/C53942775","wikidata":"https://www.wikidata.org/wiki/Q1211721","display_name":"Code coverage","level":3,"score":0.5640769004821777},{"id":"https://openalex.org/C2780428219","wikidata":"https://www.wikidata.org/wiki/Q16952335","display_name":"Cover (algebra)","level":2,"score":0.47505876421928406},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42892006039619446},{"id":"https://openalex.org/C128942645","wikidata":"https://www.wikidata.org/wiki/Q1568346","display_name":"Test case","level":3,"score":0.4214853048324585},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.41868484020233154},{"id":"https://openalex.org/C2984328558","wikidata":"https://www.wikidata.org/wiki/Q188522","display_name":"Software testing","level":3,"score":0.411426305770874},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3542928099632263},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.35391128063201904},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2626199722290039},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.1143634021282196},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08249321579933167},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C152877465","wikidata":"https://www.wikidata.org/wiki/Q208042","display_name":"Regression analysis","level":2,"score":0.0},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18293/seke2021-018","is_oa":true,"landing_page_url":"http://doi.org/10.18293/seke2021-018","pdf_url":"https://doi.org/10.18293/seke2021-018","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18293/seke2021-018","is_oa":true,"landing_page_url":"http://doi.org/10.18293/seke2021-018","pdf_url":"https://doi.org/10.18293/seke2021-018","source":{"id":"https://openalex.org/S4220650826","display_name":"Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering","issn_l":"2325-9000","issn":["2325-9000","2325-9086"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Conferences on Software Engineering and Knowledge Engineering","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3197503427.pdf","grobid_xml":"https://content.openalex.org/works/W3197503427.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W116894366","https://openalex.org/W1457363419","https://openalex.org/W1710734607","https://openalex.org/W1971137495","https://openalex.org/W1979345446","https://openalex.org/W1992485833","https://openalex.org/W2006860739","https://openalex.org/W2020689607","https://openalex.org/W2024641812","https://openalex.org/W2091543666","https://openalex.org/W2095551048","https://openalex.org/W2104000753","https://openalex.org/W2105983962","https://openalex.org/W2107147876","https://openalex.org/W2137530017","https://openalex.org/W2140323279","https://openalex.org/W2141852905","https://openalex.org/W2152565783","https://openalex.org/W2528040273","https://openalex.org/W2618635610","https://openalex.org/W2894151403","https://openalex.org/W2963723316","https://openalex.org/W4236799059"],"related_works":["https://openalex.org/W1992057646","https://openalex.org/W2020667931","https://openalex.org/W2294472655","https://openalex.org/W2440985157","https://openalex.org/W2893175923","https://openalex.org/W51612467","https://openalex.org/W223068689","https://openalex.org/W49527103","https://openalex.org/W2364496964","https://openalex.org/W2527390967"],"abstract_inverted_index":{"Software":[0],"updates":[1],"that":[2,10,61,150],"bring":[3],"new":[4,17,59,155],"features":[5],"to":[6,25,29,33,57,86,100],"the":[7,31,34,38,88,102,106,109,120,124,128,132,154],"users":[8,24],"or":[9],"fix":[11],"old":[12],"errors":[13,71],"can":[14,62],"easily":[15],"introduce":[16],"errors,":[18],"which":[19,118],"makes":[20],"it":[21],"necessary":[22],"for":[23,41],"repeatedly":[26],"consider":[27],"whether":[28],"update":[30],"software":[32,43,70],"latest":[35],"version.":[36],"Therefore,":[37],"security":[39],"testing":[40],"updated":[42],"is":[44],"indispensable":[45],"before":[46],"its":[47],"releasing.":[48],"State-of-the-art":[49],"increasing":[50],"number":[51],"of":[52,92,105],"researchers":[53],"have":[54],"been":[55],"devoting":[56],"develop":[58],"techniques":[60],"automatically":[63],"generate":[64],"high-coverage":[65],"test":[66,98],"suites":[67],"and":[68,90,108,127,141,161],"detect":[69],"introduced":[72,157],"by":[73,112,158],"patches.":[74],"In":[75],"this":[76],"paper,":[77],"we":[78],"proposed":[79],"a":[80,93,114,163],"technique":[81],"based":[82,122,130],"on":[83,123,131],"concolic":[84],"execution":[85],"ensure":[87],"correctness":[89],"reliability":[91],"patch.":[94],"Our":[95],"method":[96,152],"generates":[97],"inputs":[99],"cover":[101],"changed":[103],"lines":[104],"patch":[107],"relevant":[110],"function":[111],"using":[113],"target-based":[115],"search":[116],"strategy":[117],"combines":[119],"selector":[121,129],"mapped":[125],"address":[126],"priority.":[133],"A":[134],"prototype":[135],"system":[136],"called":[137],"FCEP":[138],"was":[139],"implemented":[140],"evaluated":[142],"with":[143],"5":[144],"C-programs.":[145],"The":[146],"experimental":[147],"results":[148],"demonstrated":[149],"our":[151],"reaches":[153],"code":[156],"patches":[159],"quickly":[160],"achieves":[162],"high":[164],"coverage.":[165]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}