Testability Analysis for Polymorphism. - Jin-Cherng Lin; Yun-Liang Huang; Cheng-Hsiung Liu (Automation, Control, and Information Technology, 2005)