10 citations · 14 across the 2 of their papers we have counts for
1 paper · 1 filter
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…