KDFC-ART: a KD-tree approach to enhancing Fixed-size-Candidate-set Adaptive Random Testing | IEEE Journals & Magazine | IEEE Xplore