Observability analysis of embedded software for Coverage-Directed validation (2000)

by J Costa, S Devadas, J Monteiro
Venue:In Proceedings of the International Conference on Computer Aided Design