10 citations · 14 across the 2 of their papers we have counts for
2 papers
cs.SE2017★ 4 cited
Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study
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…
cs.PL2016★ 10 cited
Towards Trustworthy Refactoring in Erlang
Dániel Horpácsi, Judit Kőszegi, Simon Thompson
Tool-assisted refactoring transformations must be trustworthy if programmers are to be confident in applying them on arbitrarily extensive and complex code in order to improve styl…