I do agree with tsimionescu that leaving testing (and debugging) for last invites trouble.
Btw, that's an excellent paper.