|Re: Symbolic evaluations methods email@example.com (Bill Howden) (2005-09-07)|
|Re: Symbolic evaluations methods firstname.lastname@example.org (1990-12-05)|
|From:||Bill Howden <email@example.com>|
|Date:||7 Sep 2005 13:17:20 -0400|
|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.
Return to the
Search the comp.compilers archives again.