Re: Symbolic evaluations methods

Bill Howden <howden@cs.ucsd.edu>
7 Sep 2005 13:17:20 -0400

          From comp.compilers

Related articles
Re: Symbolic evaluations methods howden@cs.ucsd.edu (Bill Howden) (2005-09-07)
Re: Symbolic evaluations methods steve@titan.tsd.arlut.utexas.edu (1990-12-05)
| List of all articles for this month |

From: Bill Howden <howden@cs.ucsd.edu>
Newsgroups: comp.compilers
Date: 7 Sep 2005 13:17:20 -0400
Organization: Compilers Central
Keywords: tools
Posted-Date: 07 Sep 2005 13:17:19 EDT

The originators of symbolic evaluation and its used in testing were
Bill Howden, Jim King. Lori Clarke and a group at SRI who developed the
SELECT systems. The SELECT research was the most extensive when it came
to automated test data generation. King focussed on verification, and
Howden on symbolic testing.


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.