KD-RRT: Restricted Random Testing based on K-Dimensional Tree | IEEE Conference Publication | IEEE Xplore