A benchmark suite for evaluating the efficiency of test tools | IEEE Conference Publication | IEEE Xplore