home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / software / 5403 < prev    next >
Encoding:
Text File  |  1993-01-21  |  1.1 KB  |  24 lines
  1. Newsgroups: comp.software-eng
  2. Path: sparky!uunet!cs.utexas.edu!uwm.edu!daffy!uwvax!shemp.cs.wisc.edu!samuel
  3. From: samuel@shemp.cs.wisc.edu (Samuel Bates)
  4. Subject: Test Data Generation Tool Needed
  5. Message-ID: <1993Jan21.225229.3661@cs.wisc.edu>
  6. Sender: news@cs.wisc.edu (The News)
  7. Cc: samuel@cs.wisc.edu
  8. Organization: University of Wisconsin, Madison -- Computer Sciences Dept.
  9. Date: Thu, 21 Jan 1993 22:52:29 GMT
  10. Lines: 12
  11.  
  12. I am looking for a publicly available tool that generates test data for a
  13. program using symbolic execution.  I have read about tools by various
  14. people (e.g., Ramamoorthy's CASEGEN, King's EFFIGY), but the papers 
  15. describing them were written mostly in the late 1970's, and I do not know
  16. if they are available now.  I would like to get the source code for the
  17. tool, since I intend to modify it to investigate an idea I have for making
  18. it more efficient.  If anyone knows of such a tool or has one that I can use,
  19. I would appreciate knowing about it.  I will summarize any useful information
  20. that I receive and post it to the net.  Thank you.
  21.  
  22. Samuel Bates (samuel@cs.wisc.edu)
  23. University of Wisconsin-Madison
  24.