“…The low testability score for OO software is due mainly to the composition of OO systems exhibiting the features of abstraction, encapsulation, genericity, inheritance, and polymorphism [2,25,26,40]. To address the low testability of OO systems a plethora of OO testing techniques have been developed [1,3,15,16,20,21,28,31,32,39]. We would like to stress that although the number of testing techniques continues to grow, none of the current OO testing techniques attempt to unify existing techniques to produce a superior technique.…”