Xref: utzoo comp.os.misc:1499 comp.lang.c:35305 comp.software-eng:4642 comp.unix.misc:831 comp.unix.programmer:854
Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!hp4nl!star.cs.vu.nl!beugel
From: beugel@cs.vu.nl (Beugel Berend Jan)
Newsgroups: comp.os.misc,comp.lang.c,comp.software-eng,comp.unix.misc,comp.unix.programmer
Subject: Re: Book and article references on library verification wanted.
Keywords: Functional testing, module testing, verification, Amoeba, Unix, C.
Message-ID: <8786@star.cs.vu.nl>
Date: 18 Jan 91 14:44:58 GMT
References: <8761@star.cs.vu.nl>
Sender: news@cs.vu.nl
Lines: 10

Ranjit Singh (singh@mot.com) replied to my article in which I asked for
references to publications on functional or "black-box" testing of library
functions.
Unfortunately all my mail to him bounces because his username is supposedly
unknown. If you are reading this Raj, please send me more details on how to
reach you over the net.

Sorry to post this here,

Berend Jan Beugel (beugel@cs.vu.nl).