One-Domain-One-Input: Adaptive Random Testing by Orthogonal Recursive Bisection With Restriction | IEEE Journals & Magazine | IEEE Xplore