Mao, C. Adaptive Random Testing Based on Two-Point Partitioning. Informatica 36 (3).