A heuristic algorithm for reducing system-level test vectors with high branch coverage | IEEE Conference Publication | IEEE Xplore