4 citations · 4 across the 1 of their papers we have counts for
1 paper
Dániel Horpácsi, Judit Kőszegi, Zoltán Horváth
Widely used complex code refactoring tools lack a solid reasoning about the correctness of the transformations they implement, whilst interest in proven correct refactoring is ever…