most citedGraph Neural Networks For Mapping Variables Between Programs -- Extended Version

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2023★ 1 cited

Graph Neural Networks For Mapping Variables Between Programs -- Extended Version

Pedro Orvalho, Jelle Piepenbrock, Mikoláš Janota +1

Automated program analysis is a pivotal research domain in many areas of Computer Science -- Formal Methods and Artificial Intelligence, in particular. Due to the undecidability of…