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: Using formal specs. for testing ?
Keywords: specification, test
Message-ID: <1991Jun25.172534.23185@cs.warwick.ac.uk>
Date: 25 Jun 91 17:25:34 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                           |
+------------------------------------------------------------+