Event-driven observability enhanced coverage analysis of C programs for functional validation.

Farzan Fallah, Indradeep Ghosh, Masahiro Fujita

Browse the full ASPDAC paper archive.