ianb@cs.warwick.ac.uk (Ian Bridge) (06/26/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. -- +------------------------------------------------------------+ | Ian Bridge | | Dept.Comp.Sci., Warwick U., Coventry, U.K. | | Internet: ianb@cs.warwick.ac.uk |
ianb@cs.warwick.ac.uk (Ian Bridge) (06/26/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. -- +------------------------------------------------------------+ | Ian Bridge, Dept.Comp.Sci., Warwick U., Coventry, U.K. | | Internet: ianb@cs.warwick.ac.uk | +------------------------------------------------------------+