Yoshio Kataoka, Michael D. Ernst, William G. Griswold, David Notkin. Automated Support for Program Refactoring Using Invariants. In ICSM. pages 736-743, 2001. [doi]
@inproceedings{KataokaEGN01,
title = {Automated Support for Program Refactoring Using Invariants},
author = {Yoshio Kataoka and Michael D. Ernst and William G. Griswold and David Notkin},
year = {2001},
url = {http://computer.org/proceedings/icsm/1189/11890736abs.htm},
tags = {refactoring},
researchr = {https://researchr.org/publication/KataokaEGN01},
cites = {0},
citedby = {0},
pages = {736-743},
booktitle = {ICSM},
}