Adaptive random testing based on two-point partitioning