Challenge proposal: verification of refactorings

  title={Challenge proposal: verification of refactorings},
  author={Max Sch{\"a}fer and Torbj{\"o}rn Ekman and Oege de Moor},
Automated refactoring tools are an essential part of a software developer's toolbox. They are most useful for gradually improving large existing code bases and it is essential that they work reliably, since even a simple refactoring may affect many different parts of a program, and the programmer should not have to inspect every individual change to ensure that the transformation went as expected. Even extensively tested industrial-strength refactoring engines, however, are fraught with many… CONTINUE READING
Highly Cited
This paper has 25 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
18 Citations
3 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 18 extracted citations


Publications referenced by this paper.

Similar Papers

Loading similar papers…