Pierce: A Testing Tool for Neural Network Verification Solvers.
Joseph ScottGuanting PanPiyush JhaElias B. KhalilVijay GaneshPublished in: VSTTE (2023)
Keyphrases
- neural network
- test generation
- formal verification
- pattern recognition
- artificial neural networks
- fuzzy logic
- back propagation
- symbolic execution
- self organizing maps
- multilayer perceptron
- search based software testing
- tool support
- feed forward neural networks
- multi layer perceptron
- network model
- multi layer
- neural nets
- model checking
- fault diagnosis
- test cases
- genetic algorithm