Robert M. Hierons

• Formal methods and testing
• Software Engineering and Formal Methods
• Testing of Communicating Systems
• Using formal specifications to enhance the software testing process