Using formal specifications to enhance the software testing process