Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!wuarchive!uunet!mcsun!ukc!warwick!cs.warwick.ac.uk!usenet
From: ianb@cs.warwick.ac.uk (Ian Bridge)
Newsgroups: comp.software-eng
Subject: Formal Specifications as a Basis for Software Testing
Summary: Formal Specifications and Functional Testing
Keywords: test, formal, specification
Message-ID: <1991Jun25.171507.23085@cs.warwick.ac.uk>
Date: 25 Jun 91 17:15:07 GMT
Sender: usenet@cs.warwick.ac.uk (Network News)
Organization: Computer Science, Warwick University, UK
Lines: 14

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                           |