next up previous
Next: Animating Traces with Ravel Up: Generating Traces Previous: Generating Traces from STRAND

Generating Traces from Arbitrary C Programs


Karen D. Toonen
1998-11-18