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.