Dynamic redundancy identification in automatic test generation | IEEE Conference Publication | IEEE Xplore