Testing , Proof and Automation . An Integrated Approach