Testing of polymorphism in object-oriented software may require coverage of all possible bindings of receiver classes and target methods at call sites.