Testing with PDR