{"id":"https://openalex.org/W4402442669","doi":"https://doi.org/10.1145/3650212.3685308","title":"FixCheck: A Tool for Improving Patch Correctness Analysis","display_name":"FixCheck: A Tool for Improving Patch Correctness Analysis","publication_year":2024,"publication_date":"2024-09-11","ids":{"openalex":"https://openalex.org/W4402442669","doi":"https://doi.org/10.1145/3650212.3685308"},"language":"en","primary_location":{"id":"doi:10.1145/3650212.3685308","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3685308","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3685308?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3685308?download=true","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5074123997","display_name":"Facundo Molina","orcid":"https://orcid.org/0000-0002-2441-1555"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Facundo Molina","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-2441-1555","affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012178629","display_name":"Juan Manuel Copia","orcid":"https://orcid.org/0000-0001-7378-2603"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]},{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Manuel Copia","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain / Universidad Polit\u00e9cnica de Madrid, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0001-7378-2603","affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain / Universidad Polit\u00e9cnica de Madrid, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154","https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051928160","display_name":"Alessandra Gorla","orcid":"https://orcid.org/0000-0002-6711-3080"},"institutions":[{"id":"https://openalex.org/I4210162154","display_name":"IMDEA Software Institute","ror":"https://ror.org/04xvfkh51","country_code":"ES","type":"facility","lineage":["https://openalex.org/I105140100","https://openalex.org/I4210162154"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Alessandra Gorla","raw_affiliation_strings":["IMDEA Software Institute, Madrid, Spain"],"raw_orcid":"https://orcid.org/0000-0002-6711-3080","affiliations":[{"raw_affiliation_string":"IMDEA Software Institute, Madrid, Spain","institution_ids":["https://openalex.org/I4210162154"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3771,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.63291995,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1856","last_page":"1860"},"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.9966999888420105,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7943972945213318},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6731612682342529},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2938764691352844}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7943972945213318},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6731612682342529},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2938764691352844}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3650212.3685308","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3685308","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3685308?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3650212.3685308","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3650212.3685308","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3650212.3685308?download=true","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1643949827","display_name":null,"funder_award_id":"AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G2262748287","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G259809647","display_name":null,"funder_award_id":"PID2022-142290OB-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G2601397997","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G300979063","display_name":null,"funder_award_id":"10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3219925899","display_name":null,"funder_award_id":"MCIN/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3480869486","display_name":null,"funder_award_id":"13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G3681454997","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G387917957","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4025944743","display_name":null,"funder_award_id":"MCIN/AEI/10.13039/501100011033/","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4042783231","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4305436266","display_name":null,"funder_award_id":"MCIN/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G5080475149","display_name":null,"funder_award_id":"10.13039","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G5868472462","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G5935448344","display_name":null,"funder_award_id":"TED2021-132464B-I00","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G6071709581","display_name":null,"funder_award_id":"13039/501100011033/","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G6218905885","display_name":null,"funder_award_id":"501100011033","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G6231620680","display_name":null,"funder_award_id":"MCIN/AEI/10.13039/501100011033/","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G6823456974","display_name":null,"funder_award_id":"AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G7084143925","display_name":null,"funder_award_id":"AEI/10","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7266728691","display_name":null,"funder_award_id":"13039/501100011033","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G7535663061","display_name":null,"funder_award_id":"AEI/10.","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8695128545","display_name":null,"funder_award_id":"MCIN/AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G8716826001","display_name":null,"funder_award_id":"S2018/TCS-4339","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"},{"id":"https://openalex.org/G8888022036","display_name":null,"funder_award_id":"AEI/10.13039/501100011033","funder_id":"https://openalex.org/F4320338080","funder_display_name":"European Social Fund"},{"id":"https://openalex.org/G894444680","display_name":null,"funder_award_id":"TED2021-132464B-I00","funder_id":"https://openalex.org/F4320335598","funder_display_name":"Agencia Estatal de Investigaci\u00f3n"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320335598","display_name":"Agencia Estatal de Investigaci\u00f3n","ror":null},{"id":"https://openalex.org/F4320338080","display_name":"European Social Fund","ror":"https://ror.org/00k4n6c32"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4402442669.pdf","grobid_xml":"https://content.openalex.org/works/W4402442669.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W2156723666","https://openalex.org/W2344973853","https://openalex.org/W2952920225","https://openalex.org/W2998011150","https://openalex.org/W3121734253","https://openalex.org/W4285490426","https://openalex.org/W4386185625","https://openalex.org/W4401905740"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4241418540","https://openalex.org/W1508895727","https://openalex.org/W2725786787"],"abstract_inverted_index":{"Patch":[0],"correctness":[1,31,87],"assessment":[2],"aims":[3],"at":[4],"effectively":[5],"detecting":[6],"overfitted":[7],"patches,":[8],"i.e.,":[9],"patches":[10],"that":[11,81,117,148],"causes":[12],"all":[13],"tests":[14,93],"to":[15,83,109,120,131],"pass":[16],"but":[17],"do":[18],"not":[19],"actually":[20],"fix":[21],"the":[22,49,52,85,121,143,163],"bug.":[23],"Although":[24],"several":[25],"automated":[26],"techniques":[27,36],"for":[28,94,135],"assessing":[29],"patch":[30,57,86],"have":[32],"been":[33],"proposed,":[34],"these":[35],"typically":[37],"yield":[38],"a":[39,56,68,111,160],"binary":[40],"result":[41],"(correct/incorrect)":[42],"without":[43],"providing":[44,91],"any":[45],"additional":[46],"information":[47],"explaining":[48],"rationale":[50],"behind":[51],"decision":[53],"of":[54,114,158],"classifying":[55],"as":[58],"correct":[59],"or":[60],"incorrect.":[61],"This":[62],"tool":[63,69],"demo":[64],"paper":[65],"presents":[66],"FixCheck,":[67],"based":[70,154],"on":[71,129,155],"static":[72,104],"analysis,":[73],"random":[74,107],"testing":[75,108],"and":[76,106,146,152],"Large":[77],"Language":[78],"Models":[79],"(LLMs),":[80],"seeks":[82],"improve":[84],"analysis":[88,105],"process":[89],"by":[90],"fault-revealing":[92],"potentially":[95],"incorrect":[96],"patches.":[97],"To":[98],"this":[99],"end,":[100],"FixCheck":[101,127,141],"first":[102],"employs":[103],"generate":[110],"comprehensive":[112],"set":[113],"test":[115,124,138],"cases":[116],"are":[118,150],"similar":[119],"original":[122],"failing":[123],"case.":[125,139],"Then,":[126],"relies":[128],"LLMs":[130],"derive":[132],"meaningful":[133],"assertions":[134],"each":[136],"new":[137],"Finally,":[140],"executes":[142],"generated":[144],"tests,":[145],"those":[147],"fail":[149],"selected":[151],"prioritized":[153],"their":[156],"likelihood":[157],"revealing":[159],"defect":[161],"in":[162],"patch.":[164]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-06T08:01:05.025921","created_date":"2025-10-10T00:00:00"}