MutShrink: a Mutation-based Test Database Shrinking Method | IEEE Conference Publication | IEEE Xplore