@inproceedings{ICSM-2001-KataokaEGN,
	author        = "Yoshio Kataoka and Michael D. Ernst and William G. Griswold and David Notkin",
	booktitle     = "{Proceedings of the 17th International Conference on Software Maintenance}",
	ee            = "http://computer.org/proceedings/icsm/1189/11890736abs.htm",
	pages         = "736--743",
	publisher     = "{IEEE Computer Society}",
	title         = "{Automated Support for Program Refactoring Using Invariants}",
	year          = 2001,
}