Systematic Generation of Diverse Benchmarks for DNN Verification.
Dong XuDavid ShriverMatthew B. DwyerSebastian G. ElbaumPublished in: CAV (1) (2020)
Keyphrases
- real world
- wide variety
- generation process
- databases
- signature verification
- formal methods
- qualitative and quantitative
- multiscale
- computer vision
- genetic algorithm
- decision making
- image segmentation
- artificial intelligence
- model checking
- learning algorithm
- face verification
- neural network
- generation algorithm
- data sets
- formal verification