Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!samsung!uunet!mcsun!ukc!warwick!cs.warwick.ac.uk!usenet
From: ianb@cs.warwick.ac.uk (Ian Bridge)
Newsgroups: comp.specification
Subject: Formal Specifications as a Basis for Software Testing
Message-ID: <1991Jun25.145728.22216@cs.warwick.ac.uk>
Date: 25 Jun 91 14:57:28 GMT
Sender: usenet@cs.warwick.ac.uk (Network News)
Organization: Computer Science, Warwick University, UK
Lines: 9


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.