Jinsong Zhu Son T. Vuong Samuel T. Chanson Evaluation of Test Coverage for Embedded System Testing. 111-126 1998 conf/pts/1998 IWTCS db/conf/pts/pts1998.html#ZhuVC98