Book and article references on library verification wanted.

[Beugel Berend Jan]

Ranjit Singh (singh at 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 at cs.vu.nl).