Using formal specifications to enhance the software testing process | lit.salon