Manifold-based Test Generation for Image Classifiers