On the integration of software testing and formal analysis