An Empirical Study of the Personnel Overhead of Continuous Integration | IEEE Conference Publication | IEEE Xplore