Checkpoint-Restart-Verify - A Methodology And Tool To Facilitate Experimentation With Program Sections