ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2301.01113
  4. Cited By
Invalidator: Automated Patch Correctness Assessment via Semantic and
  Syntactic Reasoning
v1v2 (latest)

Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

IEEE Transactions on Software Engineering (TSE), 2023
3 January 2023
Thanh Le-Cong
Duc M. Luong
X. Le
David Lo
Nhat-Hoa Tran
Bui Quang-Huy
Quyet-Thang Huynh
ArXiv (abs)PDFHTMLGithub (2757★)

Papers citing "Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning"

8 / 8 papers shown
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment
Marcos Fuster-Pena
David de-Fitero-Dominguez
Antonio Garcia-Cabot
Eva García-López
KELMLRM
163
0
0
30 Jul 2025
Automated Program Repair: Emerging trends pose and expose problems for
  benchmarks
Automated Program Repair: Emerging trends pose and expose problems for benchmarksACM Computing Surveys (ACM CSUR), 2024
J. Renzullo
Pemma Reiter
Westley Weimer
Stephanie Forrest
268
10
0
08 May 2024
Large Language Models for Cyber Security: A Systematic Literature Review
Large Language Models for Cyber Security: A Systematic Literature Review
HanXiang Xu
Shenao Wang
Ningke Li
Kaidi Wang
Yanjie Zhao
Kai Chen
Ting Yu
Yang Liu
Haoyu Wang
773
161
0
08 May 2024
LEGION: Harnessing Pre-trained Language Models for GitHub Topic
  Recommendations with Distribution-Balance Loss
LEGION: Harnessing Pre-trained Language Models for GitHub Topic Recommendations with Distribution-Balance LossInternational Conference on Evaluation & Assessment in Software Engineering (EASE), 2024
Yen-Trang Dang
Thanh Le-Cong
Phuc-Thanh Nguyen
Anh M. T. Bui
Phuong T. Nguyen
Bach Le
Quyet-Thang Huynh
248
2
0
09 Mar 2024
Evaluating Program Repair with Semantic-Preserving Transformations: A
  Naturalness Assessment
Evaluating Program Repair with Semantic-Preserving Transformations: A Naturalness Assessment
Thanh Le-Cong
Dat Nguyen
Bach Le
Toby Murray
213
1
0
19 Feb 2024
Exploring ChatGPT's Capabilities on Vulnerability Management
Exploring ChatGPT's Capabilities on Vulnerability ManagementUSENIX Security Symposium (USENIX Security), 2023
Peiyu Liu
Junming Liu
Lirong Fu
Kangjie Lu
Yifan Xia
Xuhong Zhang
Wenzhi Chen
Haiqin Weng
R. Beyah
Wenhai Wang
238
49
0
11 Nov 2023
Large Language Models for Software Engineering: A Systematic Literature
  Review
Large Language Models for Software Engineering: A Systematic Literature ReviewACM Transactions on Software Engineering and Methodology (TOSEM), 2023
Xinying Hou
Yanjie Zhao
Yue Liu
Zhou Yang
Kailong Wang
Li Li
Xiapu Luo
David Lo
John C. Grundy
Haoyu Wang
487
912
0
21 Aug 2023
Multi-Granularity Detector for Vulnerability Fixes
Multi-Granularity Detector for Vulnerability FixesIEEE Transactions on Software Engineering (TSE), 2023
Truong-Giang Nguyen
Thanh Le-Cong
Hong Jin Kang
Ratnadira Widyasari
Chengran Yang
...
Jiayuan Zhou
Xin Xia
A. Hassan
X. Le
David Lo
207
32
0
23 May 2023
1
Page 1 of 1