Farzan Fallah, Indradeep Ghosh, Masahiro Fujita. Event-driven observability enhanced coverage analysis of C programs for functional validation. In Hiroto Yasuura, editor, Proceedings of the 2003 Asia and South Pacific Design Automation Conference, ASP-DAC '03, Kitakyushu, Japan, January 21-24, 2003. pages 123-128, ACM, 2003. [doi]
Abstract is missing.