Here is a link to the code from the Automatic Formal Test Generation project. It include all C code, scripts, examples, documentation, etc. It is in a tar file (848k).
Created Wed Jan 10 11:07:57 2001
by Paul E. Black (paul.black@nist.gov) Updated Wed Jul 10 10:25:59 2002 by Paul E. Black (paul.black@nist.gov)