Jeffrey L. Overbey, Ralph E. Johnson, Munawar Hafiz. Differential precondition checking: a language-independent, reusable analysis for refactoring engines. Automated Software Engineering, 23(1):77-104, 2016. [doi]
@article{OverbeyJH16,
title = {Differential precondition checking: a language-independent, reusable analysis for refactoring engines},
author = {Jeffrey L. Overbey and Ralph E. Johnson and Munawar Hafiz},
year = {2016},
doi = {10.1007/s10515-014-0176-9},
url = {http://dx.doi.org/10.1007/s10515-014-0176-9},
researchr = {https://researchr.org/publication/OverbeyJH16},
cites = {0},
citedby = {0},
journal = {Automated Software Engineering},
volume = {23},
number = {1},
pages = {77-104},
}