4 works on record
Formal methods and testing
Software Engineering and Formal Methods
Using formal specifications to enhance the software testing process
Testing of Communicating Systems