Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!linus!security!genrad!wjh12!n44a!ima!inmet!andrew
From: andrew@inmet.UUCP
Newsgroups: net.ai
Subject: Re: Expert systems for software debuggin - (nf)
Message-ID: <776@inmet.UUCP>
Date: Wed, 25-Jan-84 23:41:56 EST
Article-I.D.: inmet.776
Posted: Wed Jan 25 23:41:56 1984
Date-Received: Fri, 27-Jan-84 12:04:19 EST
Lines: 5

#R:sri-arpa:-1561600:inmet:11000006:000:146
inmet!andrew    Jan 24 11:14:00 1984

There was a "Program Testing Assistant" that came out of MIT a few years
back.  I believe it was a student project that won an IEEE or ACM prize.