Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!van-bc!ubc-cs!mkim
From: mkim@cs.ubc.ca (Myungchul Kim)
Newsgroups: comp.software-eng
Subject: Information on Symbolic Evaluation System
Message-ID: <1991Apr25.171158.4121@cs.ubc.ca>
Date: 25 Apr 91 17:11:58 GMT
Sender: usenet@cs.ubc.ca (Usenet News)
Organization: University of British Columbia, Vancouver, B.C., Canada
Lines: 11


Hello, Netter;

Can you show me the pointer of the public domain symbolic evaluation
system for software testing? The system written by the language C
is preferred. If there is response, I'll summarize and post it.
--
Myung Chul Kim
Dept. of Computer Science, Univ. of British Columbia
6356 Agricultural Road, Vancouver, B.C.  Canada, V6T 1W5
E-mail address: mkim@cs.ubc.ca