@inproceedings{overbey11differential,
	Address = {Washington, DC},
	Author = {Jeffrey L. Overbey and Ralph E. Johnson},
	Booktitle = {Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE '11)},
	Doi = {10.1109/ASE.2011.6100067},
	Pages = {303--312},
	Publisher = {IEEE Computer Society},
	Title = {Differential Precondition Checking: {A} Lightweight, Reusable Analysis for Refactoring Tools},
	Year = {2011}}