A Parallel Hybrid-Testing Tool Architecture for a Dual-Programming Model