{"id":"https://openalex.org/W4403446433","doi":"https://doi.org/10.1109/tse.2024.3481893","title":"Towards More Precise Coincidental Correctness Detection With Deep Semantic Learning","display_name":"Towards More Precise Coincidental Correctness Detection With Deep Semantic Learning","publication_year":2024,"publication_date":"2024-10-16","ids":{"openalex":"https://openalex.org/W4403446433","doi":"https://doi.org/10.1109/tse.2024.3481893"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2024.3481893","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3481893","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","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/9920","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"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":["School of Big Data &#x0026; Software Engineering, Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0002-5265-0051","affiliations":[{"raw_affiliation_string":"School of Big Data &#x0026; Software Engineering, Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"middle","author":{"id":null,"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yan Lei","raw_affiliation_strings":["School of Big Data &#x0026; Software Engineering, Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0003-4504-6806","affiliations":[{"raw_affiliation_string":"School of Big Data &#x0026; Software Engineering, 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":["School of Big Data &#x0026; Software Engineering, Chongqing University, Chongqing, China"],"raw_orcid":"https://orcid.org/0000-0002-9538-9121","affiliations":[{"raw_affiliation_string":"School of Big Data &#x0026; Software Engineering, Chongqing University, Chongqing, China","institution_ids":["https://openalex.org/I158842170"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Shanshan Li","orcid":"https://orcid.org/0000-0003-0798-974X"},"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":"Shanshan Li","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0003-0798-974X","affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080183182","display_name":"Xiaoguang Mao","orcid":"https://orcid.org/0000-0003-4204-7424"},"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":"Xiaoguang Mao","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0003-4204-7424","affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100397991","display_name":"Yue Yu","orcid":"https://orcid.org/0000-0002-9865-2212"},"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":"Yue Yu","raw_affiliation_strings":["College of Computer, National University of Defense Technology, Changsha, China"],"raw_orcid":"https://orcid.org/0000-0002-9865-2212","affiliations":[{"raw_affiliation_string":"College of Computer, National University of Defense Technology, Changsha, China","institution_ids":["https://openalex.org/I170215575"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081036622","display_name":"David Lo","orcid":"https://orcid.org/0000-0002-4367-7201"},"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":"David Lo","raw_affiliation_strings":["School of Computing and Information Systems, Singapore Management University, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-4367-7201","affiliations":[{"raw_affiliation_string":"School of Computing and Information Systems, Singapore Management University, Singapore","institution_ids":["https://openalex.org/I79891267"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3892,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.84405156,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":"50","issue":"12","first_page":"3265","last_page":"3289"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9668999910354614,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.9668999910354614,"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/T11512","display_name":"Anomaly Detection Techniques and Applications","score":0.9372000098228455,"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/computer-science","display_name":"Computer science","score":0.8770676851272583},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.821489691734314},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5806678533554077},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.47183114290237427},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.45821255445480347},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4016703963279724},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.38139617443084717}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8770676851272583},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.821489691734314},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5806678533554077},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.47183114290237427},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.45821255445480347},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4016703963279724},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.38139617443084717}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2024.3481893","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2024.3481893","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-10920","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/9920","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.1109/TSE.2024.3481893","raw_type":"Journal Article"}],"best_oa_location":{"id":"pmh:oai:ink.library.smu.edu.sg:sis_research-10920","is_oa":true,"landing_page_url":"https://ink.library.smu.edu.sg/sis_research/9920","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.1109/TSE.2024.3481893","raw_type":"Journal Article"},"sustainable_development_goals":[{"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10","score":0.6100000143051147}],"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":84,"referenced_works":["https://openalex.org/W99175238","https://openalex.org/W841012168","https://openalex.org/W1574447377","https://openalex.org/W1857789879","https://openalex.org/W1950030762","https://openalex.org/W1990785546","https://openalex.org/W2010833880","https://openalex.org/W2013655083","https://openalex.org/W2018430492","https://openalex.org/W2033644368","https://openalex.org/W2058547057","https://openalex.org/W2065201438","https://openalex.org/W2070249305","https://openalex.org/W2083825874","https://openalex.org/W2086613190","https://openalex.org/W2090883284","https://openalex.org/W2092742242","https://openalex.org/W2096733369","https://openalex.org/W2099855131","https://openalex.org/W2109553965","https://openalex.org/W2119136132","https://openalex.org/W2128049346","https://openalex.org/W2133482825","https://openalex.org/W2137522044","https://openalex.org/W2138428785","https://openalex.org/W2138621090","https://openalex.org/W2156723666","https://openalex.org/W2157151971","https://openalex.org/W2157364932","https://openalex.org/W2171590421","https://openalex.org/W2343875716","https://openalex.org/W2400994325","https://openalex.org/W2467903332","https://openalex.org/W2618530766","https://openalex.org/W2620081107","https://openalex.org/W2736091366","https://openalex.org/W2755604472","https://openalex.org/W2762786131","https://openalex.org/W2767951593","https://openalex.org/W2776035257","https://openalex.org/W2786913301","https://openalex.org/W2795030435","https://openalex.org/W2867448323","https://openalex.org/W2893857624","https://openalex.org/W2894176037","https://openalex.org/W2895570420","https://openalex.org/W2904214673","https://openalex.org/W2913917532","https://openalex.org/W2914760846","https://openalex.org/W2921022558","https://openalex.org/W2924629359","https://openalex.org/W2954778170","https://openalex.org/W2958754741","https://openalex.org/W2962715466","https://openalex.org/W2963457411","https://openalex.org/W2963775347","https://openalex.org/W2963854930","https://openalex.org/W2964271799","https://openalex.org/W2973090640","https://openalex.org/W3024567484","https://openalex.org/W3079389867","https://openalex.org/W3087932475","https://openalex.org/W3119391179","https://openalex.org/W3160492491","https://openalex.org/W3162747997","https://openalex.org/W3170120958","https://openalex.org/W3172196883","https://openalex.org/W3195442242","https://openalex.org/W4212781151","https://openalex.org/W4251988601","https://openalex.org/W4284670965","https://openalex.org/W4284689972","https://openalex.org/W4284702776","https://openalex.org/W4293072403","https://openalex.org/W4294558964","https://openalex.org/W4297662257","https://openalex.org/W4312204978","https://openalex.org/W4312603158","https://openalex.org/W4376606814","https://openalex.org/W4377707837","https://openalex.org/W4385477793","https://openalex.org/W6631637103","https://openalex.org/W6735531217","https://openalex.org/W6779027469"],"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/W4380075502"],"abstract_inverted_index":{"Coincidental":[0],"correctness":[1],"(CC)":[2],"is":[3,16,103,256],"a":[4,10,127,182,198],"situation":[5],"during":[6],"the":[7,13,19,36,40,45,58,68,73,88,109,118,139,142,147,172,194,202,205,208,213,226,239,246,252,264],"execution":[8],"of":[9,51,76,141,161,196,201,207,241,248,254,266,274],"test":[11,47,200,203],"case,":[12],"buggy":[14,42],"entity":[15,43],"executed,":[17],"but":[18,244],"program":[20],"behaves":[21],"correctly":[22],"as":[23,165],"expected.":[24],"Many":[25],"automated":[26],"fault":[27],"localization":[28,69],"(FL)":[29],"techniques":[30,82],"use":[31],"runtime":[32],"information":[33],"to":[34,61,86,137,155,180,221,279],"discover":[35],"underlying":[37],"connection":[38],"between":[39],"executed":[41],"and":[44,65,113,177,261],"failing":[46,178],"result.":[48],"The":[49,230],"existence":[50],"CC":[52,77,80,90,111,149,199,242,282],"will":[53],"weaken":[54],"such":[55],"connection,":[56],"mislead":[57],"FL":[59,249],"algorithms":[60],"build":[62],"inaccurate":[63],"models,":[64],"consequently,":[66],"decrease":[67],"accuracy.":[70],"To":[71],"alleviate":[72],"adverse":[74],"effect":[75],"on":[78,101,225,259],"FL,":[79],"detection":[81,133,243,283],"have":[83],"been":[84],"proposed":[85],"identify":[87,156],"possible":[89,110,148],"tests":[91,112,150,164,176,210],"via":[92],"heuristic":[93],"or":[94],"machine":[95],"learning":[96,117],"algorithms.":[97],"However,":[98],"their":[99,188],"performance":[100],"precision":[102,240,253],"not":[104,237],"satisfactory":[105],"since":[106],"they":[107],"overestimate":[108],"are":[114],"insufficient":[115],"in":[116,204,272],"deep":[119],"semantic":[120],"features.":[121],"In":[122],"this":[123],"work,":[124],"we":[125],"propose":[126],"novel":[128],"<u>Tri</u>plet":[129],"network-based":[130],"<u>Co</u>incidental":[131],"<u>Co</u>rrectness":[132],"technique":[134],"(<i>i.e.,</i>":[135],"<b>TriCoCo</b>)":[136],"overcome":[138],"limitations":[140],"prior":[143],"works.":[144],"<b>TriCoCo</b>":[145,170,192,223,234,255,262],"narrows":[146],"by":[151,167,211,268],"designing":[152],"three":[153],"features":[154],"genuine":[157,174],"passing":[158,175,209],"tests.":[159],"Instead":[160],"using":[162,212],"all":[163],"inputs":[166],"existing":[168],"techniques,":[169,250],"takes":[171],"identified":[173],"ones":[179],"train":[181],"triplet":[183,215],"model":[184],"that":[185,233],"can":[186,235],"evaluate":[187,222],"relative":[189],"distance.":[190],"Finally,":[191],"infers":[193],"probability":[195],"being":[197],"rest":[206],"trained":[214],"model.":[216],"We":[217],"conduct":[218],"large-scale":[219],"experiments":[220],"based":[224],"widely-used":[227],"Defects4J":[228],"benchmark.":[229],"results":[231],"demonstrate":[232],"improve":[236],"only":[238],"also":[245],"effectiveness":[247],"<i>e.g.,</i>":[251],"80.33<inline-formula><tex-math":[257],"notation=\"LaTeX\">$\\%$</tex-math></inline-formula>":[258,271],"average,":[260],"boosts":[263],"efficacy":[265],"DStar":[267],"18<inline-formula><tex-math":[269],"notation=\"LaTeX\">$\\%$</tex-math></inline-formula>\u201374<inline-formula><tex-math":[270],"terms":[273],"MFR":[275],"metric":[276],"when":[277],"compared":[278],"seven":[280],"state-of-the-art":[281],"baselines.":[284]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}