Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2301.01113
Cited By
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning
3 January 2023
Thanh Le-Cong
Duc M. Luong
X. Le
David Lo
Nhat-Hoa Tran
Bui Quang-Huy
Quyet-Thang Huynh
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Invalidator: Automated Patch Correctness Assessment via Semantic and Syntactic Reasoning"
1 / 1 papers shown
Title
AutoPruner: Transformer-Based Call Graph Pruning
Thanh Le-Cong
Hong Jin Kang
Truong-Giang Nguyen
S. A. Haryono
David Lo
X. Le
H. Thang
25
19
0
07 Sep 2022
1
