TRAPEDS
See:
a bib cite
another bib cite
Shade
From
instruction-set simulation and tracing