Encoding program executions (2001)

by Steven P. Reiss, Manos Renieris
Venue:In ICSE