An industrial case study of the effectiveness of test generators | IEEE Conference Publication | IEEE Xplore