Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning

3 January 2023

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

3 / 3 papers shown

Title
Automated Program Repair: Emerging trends pose and expose problems for benchmarks J. Renzullo Pemma Reiter Westley Weimer Stephanie Forrest 39 1 0 08 May 2024
Large Language Models for Cyber Security: A Systematic Literature Review HanXiang Xu Shenao Wang Ningke Li Kaixin Wang Yanjie Zhao Kai Chen Ting Yu Yang Liu Haoyu Wang 37 23 0 08 May 2024
AutoPruner: Transformer-Based Call Graph Pruning Thanh Le-Cong Hong Jin Kang Truong-Giang Nguyen S. A. Haryono David Lo X. Le H. Thang 27 19 0 07 Sep 2022