Newsgroups: comp.software.testing,comp.object,comp.software-eng,comp.lang.c++,comp.lang.smalltalk
Path: cantaloupe.srv.cs.cmu.edu!nntp.club.cc.cmu.edu!hudson.lm.com!netline-fddi.jpl.nasa.gov!elroy.jpl.nasa.gov!usc!crash!pagesnf!bwebster
From: bwebster@pages.com (Bruce F. Webster)
Subject: Re: Announcement: Technical report on Object-Oriented Testing
Message-ID: <D1znEr.106@pages.com>
Sender: bwebster@pages.com (Bruce F. Webster)
Reply-To: bwebster@pages.com
Organization: Pages Software Inc
References: <KIRANI.95Jan5165424@sioux.advtech.uswest.com>
Date: Fri, 6 Jan 1995 14:40:02 GMT
Lines: 35
Xref: glinda.oz.cs.cmu.edu comp.software.testing:2999 comp.object:24746 comp.software-eng:29282 comp.lang.c++:106278 comp.lang.smalltalk:19296

In article <KIRANI.95Jan5165424@sioux.advtech.uswest.com>  
kirani@sioux.advtech.uswest.com (Shekhar Kirani) writes:
> Hi:
> 
> Based on my graduate work, we have published a technical report 
> on Object-Oriented Testing at CS dept, University of Minnesota.
> The title of the tech. rep. is "Specification and Verification 
> of Object-Oriented Programs". It contains data-flow anomaly
> detection for classes, test case generation from specification,
> derivation of specification from design models and so on.
> 
> For those who are interested in getting the technical report by
> anonymous ftp, the instructions are as follows:
> 
> 1. ftp ftp.cs.umn.edu
> 2. login as anonymous
> 3. cd /users/users/shekar/oo-test

the correct path appears to be /dept/users/shekar/oo-test

> 4. mget README
> 5. mget tech-rep.ps.Z
> 

Thanks for posting that! It's printing out even as I type this....  
..bruce..

-------------------------------------------------------------------------
Bruce F. Webster        | No! I am not Bill Gates, nor would I want to be;
Chief Technical Officer | I'd rather parse the fish than own the knife;
Pages Software Inc      | (Imagine! Having moby bux but chained
bwebster@pages.com      | to forty million lusers, what a life...)
http://www.pages.com    |     -- Jeff Duntemann
--------------------------------------------------------------------------

