[comp.specification] Formal Specifications as a Basis for Software Testing

ianb@cs.warwick.ac.uk (Ian Bridge) (06/25/91)

I am currently engaged in a project to investigate methods for 
developing module and system test procedures on the basis of 
formal specifications of their functional behaviour.

Although I am aware of the work published by P.A.V.Hall ('88) and
I.J.Hayes ('85) I would interested to hear of any related work
in this area together with any comments on the adequacy of this 
approach.