How to tell Pex not to stub an abstract class that has concrete implementations
Have you tried telling Pex using the [PexUseType] attribute, that non-abstract subtypes for your abstract class exist? If Pex is not aware of any non-abstract subtypes, then Pex’s constraint solver would determine that a code path that depends on the existence of a non-abstract subtype is infeasible.