Checkpointing-Based Testing