Sora: Scalable Black-Box Reachability Analyser on Neural Networks.
Peipei XuFu WangWenjie RuanChi ZhangXiaowei HuangPublished in: ICASSP (2023)
Keyphrases
- black box
- neural network
- rule extraction
- hybrid systems
- black boxes
- white box
- pattern recognition
- artificial neural networks
- integration testing
- artificial intelligence
- back propagation
- test cases
- recurrent neural networks
- genetic algorithm
- white box testing
- state transition
- neural network model
- state space
- web services