@article{legouesWTSE2012,
author = {Claire {Le Goues} and Westley Weimer},
title = {Measuring Code Quality to Improve Specification Mining},
journal ={IEEE Transactions on Software Engineering},
volume = {38},
issn = {0098-5589},
year = {2012},
pages = {175-190},
doi = {http://doi.ieeecomputersociety.org/10.1109/TSE.2011.5},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}