Added "Dynamic Program Slices and Structural Coverage Traces" dropbox url.