Manifold-based Test Generation for Image Classifiers.
Taejoon ByunSanjai RayadurgamPublished in: ICSE (Workshops) (2020)
Keyphrases
- test generation
- image data
- input image
- image features
- image representation
- single image
- multiscale
- training data
- image set
- image classification
- test cases
- image retrieval
- extracted features
- image segmentation
- symbolic execution
- open source
- test set
- feature set
- feature space
- manifold learning
- static analysis
- test sequences