DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization.
Fabian Bauer-MarquartStefan LeueChristian SchillingPublished in: CoRR (2021)
Keyphrases
- black box
- neural network
- rule extraction
- black boxes
- hybrid systems
- state transition
- white box testing
- white box
- pattern recognition
- integration testing
- test cases
- fuzzy logic
- artificial neural networks
- optimization problems
- candidate solutions
- optimization process
- formal specification
- multi agent systems
- genetic algorithm
- data sets