Challenge proposal: verification of refactorings

@inproceedings{Schfer2009ChallengePV,
  title={Challenge proposal: verification of refactorings},
  author={Max Sch{\"a}fer and Torbj{\"o}rn Ekman and Oege de Moor},
  booktitle={PLPV},
  year={2009}
}
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

Citations

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

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…