An Automated Approach to Testing Polymorphic Features Using Object-Z. - Mahreen Ahmad; Aamer Nadeem; Tai-Hoon Kim (FGIT-ASEA, 2010)