Backuping for performance improvement and robustness
Generate after a completed generation a backup of information required to proceed testing from that stage on. The user can decide whether to execute test case generation using intermediate backup files or do it as done before. This feature should improve robustness to application crashes as well the execution performance.