Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!lll-winken!elroy.jpl.nasa.gov!sdd.hp.com!zaphod.mps.ohio-state.edu!magnus.acs.ohio-state.edu!csn!news.den.mmc.com!herkimer
From: herkimer@tigercat.den.mmc.com (Don Herkimer)
Newsgroups: comp.software-eng
Subject: O-O software and testing methods
Message-ID: <1991May23.192433.7062@den.mmc.com>
Date: 23 May 91 19:24:33 GMT
Sender: herkimer@tigercat (Don Herkimer)
Organization: Martin Marietta Astronautics Group
Lines: 9
Nntp-Posting-Host: tigercat.den.mmc.com

Does anyone have any references to formal testing methods for object-oriented software?

Thanks in advance....

-- 
Don Herkimer
303-977-9580
Martin Marietta Space Launch Systems
herkimer@den.mmc.comd