Instrumenting Programs for Symbolic-Trace Generation

Abstract

Symbolic traces increase error-detection capabilities of program tests and indicate the extent of their coverage. This instrumentation system generates traces automatically upon program execution.