Mutation Testing in Continuous Integration: An Exploratory Industrial Case Study | IEEE Conference Publication | IEEE Xplore