Title
Automated Repair of Heap-Manipulating Programs Using Deductive Synthesis.
Year
DOI
Venue
2021
10.1007/978-3-030-67067-2_17
VMCAI
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Thanh-Toan Nguyen100.68
Quang-Trung Ta283.83
Ilya Sergey312.06
Wei-Ngan Chin486863.37