DLRegion_master
Description
The “DLRegion_master" zip file has one folder “DLRegion”. The “DLRegion” folder contains three folders, “MNIST”, “CIFAR-10” and "SVHN", which are the code for the method (DLRegion) under the corresponding dataset. These include the model under test, the original seed images, and the seed images selected by the seed selection strategy. The "data" folder under the "MNIST" folder holds the model under test and the upper and lower bounds of the model's output values on each neuron; the "seeds_50" folder holds 50 images that were correctly classified by the model; the "choose_seeds_20_xxx” folder holds the original seed images selected from the “seeds_50” folder for the fuzzy test after the corresponding seed selection strategy. The "data" folder under the "CIFAR-10" folder holds the model under test and the upper and lower bounds of the model's output values on each neuron; the "seeds_50" folder holds 50 images that were correctly classified by the model; the "choose_seeds_20_xxx” folder holds the original seed images selected from the “seeds_50” folder for the fuzzy test after the corresponding seed selection strategy. The “data” folder under the “SVHN” folder holds the VGG-16 model data, the training and testing data of the model.