Farzan Fallah, Indradeep Ghosh: Observability enhanced coverage analysis of C programs for functional validation. HLDVT 2001: 157-162