Assessing developer contribution with repository mining-based metrics | IEEE Conference Publication | IEEE Xplore