MMFC-ART: a Fixed-size-Candidate-set Adaptive Random Testing approach based on the modified Metric-Memory tree | IEEE Conference Publication | IEEE Xplore