{"id":"https://openalex.org/W4403536086","doi":"https://doi.org/10.1145/3691620.3695542","title":"Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection","display_name":"Combining Coverage and Expert Features with Semantic Representation for Coincidental Correctness Detection","publication_year":2024,"publication_date":"2024-10-18","ids":{"openalex":"https://openalex.org/W4403536086","doi":"https://doi.org/10.1145/3691620.3695542"},"language":"en","primary_location":{"id":"doi:10.1145/3691620.3695542","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695542","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","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/A5031789677","display_name":"Huan Xie","orcid":"https://orcid.org/0000-0002-5265-0051"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Huan Xie","raw_affiliation_strings":["Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0002-5265-0051","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100639534","display_name":"Yan Lei","orcid":"https://orcid.org/0000-0003-4504-6806"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]},{"id":"https://openalex.org/I4210136793","display_name":"Peng Cheng Laboratory","ror":"https://ror.org/03qdqbt06","country_code":"CN","type":"facility","lineage":["https://openalex.org/I4210136793"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Lei","raw_affiliation_strings":["Chongqing University, Chongqing, China","Peng Cheng Laboratory, ShenZhen, China"],"raw_orcid":"https://orcid.org/0000-0003-4504-6806","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]},{"raw_affiliation_string":"Peng Cheng Laboratory, ShenZhen, China","institution_ids":["https://openalex.org/I4210136793"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054854588","display_name":"Maojin Li","orcid":"https://orcid.org/0000-0003-4117-8430"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Maojin Li","raw_affiliation_strings":["Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0003-4117-8430","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070783668","display_name":"Meng Yan","orcid":"https://orcid.org/0000-0002-9538-9121"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Meng Yan","raw_affiliation_strings":["Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0002-9538-9121","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"last","author":{"id":null,"display_name":"Sheng Zhang","orcid":"https://orcid.org/0009-0004-9807-8275"},"institutions":[{"id":"https://openalex.org/I158842170","display_name":"Chongqing University","ror":"https://ror.org/023rhb549","country_code":"CN","type":"education","lineage":["https://openalex.org/I158842170"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Sheng Zhang","raw_affiliation_strings":["Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0009-0004-9807-8275","affiliations":[{"raw_affiliation_string":"Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1770","last_page":"1782"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9866999983787537,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8832418322563171},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8004814386367798},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5663989186286926},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5188494920730591},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.4657585918903351},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.4446825087070465},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.32450562715530396},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21343064308166504}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.8832418322563171},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8004814386367798},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5663989186286926},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5188494920730591},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4657585918903351},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4446825087070465},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.32450562715530396},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21343064308166504},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3691620.3695542","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3691620.3695542","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities","score":0.41999998688697815}],"awards":[{"id":"https://openalex.org/G3716495093","display_name":null,"funder_award_id":"62272072","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":42,"referenced_works":["https://openalex.org/W1990785546","https://openalex.org/W2008776367","https://openalex.org/W2013655083","https://openalex.org/W2033644368","https://openalex.org/W2068829166","https://openalex.org/W2083825874","https://openalex.org/W2086613190","https://openalex.org/W2098549348","https://openalex.org/W2128049346","https://openalex.org/W2130323538","https://openalex.org/W2157151971","https://openalex.org/W2165834023","https://openalex.org/W2460133376","https://openalex.org/W2736091366","https://openalex.org/W2767951593","https://openalex.org/W2786913301","https://openalex.org/W2795030435","https://openalex.org/W2850992922","https://openalex.org/W2867448323","https://openalex.org/W2895570420","https://openalex.org/W2904214673","https://openalex.org/W2913917532","https://openalex.org/W2914760846","https://openalex.org/W2924629359","https://openalex.org/W2958754741","https://openalex.org/W2973090640","https://openalex.org/W3024567484","https://openalex.org/W3079389867","https://openalex.org/W3100698844","https://openalex.org/W3103674517","https://openalex.org/W3103843811","https://openalex.org/W3119391179","https://openalex.org/W3160492491","https://openalex.org/W3172196883","https://openalex.org/W3195442242","https://openalex.org/W4220852596","https://openalex.org/W4221166942","https://openalex.org/W4284670965","https://openalex.org/W4284689972","https://openalex.org/W4298377646","https://openalex.org/W4313563636","https://openalex.org/W4389544195"],"related_works":["https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2725786787","https://openalex.org/W1590965489","https://openalex.org/W1875930651"],"abstract_inverted_index":{"Coincidental":[0],"correctness":[1],"(CC)":[2],"can":[3,193],"be":[4],"misleading":[5],"for":[6,208,215],"developers":[7],"because":[8],"it":[9],"gives":[10],"the":[11,14,26,65,71,81,86,90,126,142,153,178,184,196],"impression":[12],"that":[13,110,150,183],"code":[15,92],"is":[16],"functioning":[17],"correctly":[18],"when":[19],"there":[20],"are":[21],"hidden":[22],"faults.":[23],"To":[24],"mitigate":[25],"negative":[27],"impacts":[28],"of":[29,74,83,89,119,128,157,172,198],"CC":[30,129,158],"test":[31,91,120,130],"cases,":[32],"extensive":[33],"research":[34],"has":[35,67],"been":[36,98],"conducted":[37],"on":[38,141,168],"their":[39],"detection,":[40],"employing":[41],"either":[42],"coverage-based":[43],"or":[44],"expert-based":[45],"features.":[46],"These":[47],"studies":[48],"have":[49,96],"yielded":[50],"promising":[51],"results.":[52],"Coverage":[53],"and":[54,93,113,121,187,200,212],"expert":[55,114],"features":[56,115],"each":[57],"provide":[58],"unique":[59],"insights":[60],"into":[61],"program":[62],"execution,":[63],"yet":[64],"literature":[66],"not":[68,97],"fully":[69,99],"explored":[70],"combined":[72],"potential":[73],"these":[75],"two":[76],"feature":[77],"sets":[78],"to":[79,104,124,181,190],"enhance":[80],"detection":[82,127,159],"CC.":[84],"Additionally,":[85],"rich":[87],"semantics":[88,188],"focal":[94,122],"method":[95,217],"utilized.":[100],"Therefore,":[101],"we":[102,176],"propose":[103],"build":[105],"a":[106,134,162],"unified":[107],"model,":[108],"CORE,":[109],"integrates":[111],"coverage":[112],"with":[116,137,161],"semantic":[117],"representations":[118],"methods":[123],"improve":[125,195],"cases.":[131],"We":[132],"make":[133],"comprehensive":[135],"evaluation":[136],"six":[138],"state-of-the-art":[139],"baselines":[140,154],"widely-used":[143],"Defects4J":[144],"benchmark.":[145],"The":[146],"experimental":[147],"results":[148],"show":[149,182],"CORE":[151,192],"outperforms":[152],"in":[155,170],"terms":[156,171],"accuracy,":[160],"substantial":[163],"improvement":[164,167],"(i.e.,":[165],"40%":[166],"average":[169],"F1":[173],"score).":[174],"Then,":[175],"conduct":[177],"ablation":[179],"experiment":[180],"coverage,":[185],"expert,":[186],"contribute":[189],"CORE.":[191],"also":[194],"effectiveness":[197],"spectrum-based":[199,209],"mutation-based":[201,216],"fault":[202],"localization":[203],"performance":[204],"(e.g.,":[205],"50%":[206],"improvements":[207,214],"formula":[210],"Dstar":[211],"44%":[213],"MUSE":[218],"under":[219],"relabeling":[220],"strategy).":[221]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}