Parallel Hybrid Testing Techniques for the Dual-Programming Models-Based Programs