mkim@cs.ubc.ca (Myungchul Kim) (04/26/91)
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