Tracing Execution of Software for Design Coverage - Lencevicius, R; Metz, E; Ran, A (2001)
pp