Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural languages. All this work can be used with small changes on OO programs, but object orientation introduces new features that are not present in procedural languages. Some important issues are polymorphism and inheritance. In this paper we want to make a contribution to the inheritance field by proposing some approaches that use the information of the class hierarchy for helping test case generators to better guide the search. To the best of our knowledge, no work exists using this information to propose test cases. In this work we de¯ne a branch distance for logical expressions containing the instanceof operator in Java programs. In addition to the distance measure, we propose two mutation
operators based on the distance. We study the behaviour of the mutation operators on a benchmark set composed of
nine OO programs. The results show that the information collected from the class hierarchy helps in the search for test cases