F. Fallah, I. Ghosh, M. Fujita, "Event-Driven Observability Enhanced Coverage Analysis of C Programs for Functional Validation,"
Asia and South Pacific Design Automation Conference (ASP-DAC), Yokohama, Japan, Jan. 2003. Also in International Workshop
on Microprocessor Test and Verification, Texas, June 2002 (Invited) and in IEEE International High Level Design Validation
and Test Workshop (HLDVT), California, Nov. 2001.
I. Ghosh, M. Fujita, "Automatic test bench generation for equivalence checking of C programs based on ATPG techniques,"
in Workshop on Software and Compilers for Embedded Systems, St. Goar, Germany, March 2001.
D. Currie, A. Hu, S. Rajan, and M. Fujita, "Formal verification of DSP software",Proceedings of the 37th IEEE/ACM Design
Automation Conference, pages 130-135, June 2000.
S.P. Rajan, "Formal Methods in Software", Invited Article in Wiley's Encyclopedia of Electrical and Electronics Engineering,
April 1999.
