Best Practices for the Formal Software Testing Process: A Menu of Testing Tasks