Improving Random Test Sets Using a Locally Spreading Approach | IEEE Conference Publication | IEEE Xplore