Verification of the neural network training process for spectrum-based chemical substructure prediction using metamorphic testing.
Joshua D. EllisRazib IqbalKeiichi YoshimatsuPublished in: J. Comput. Sci. (2021)
Keyphrases
- training process
- neural network
- testing process
- training data
- training algorithm
- prediction model
- prediction accuracy
- test generation
- formal verification
- neural network structure
- adaboost algorithm
- symbolic execution
- model checking
- test cases
- kernel parameters
- prediction error
- back propagation
- learning process
- artificial neural networks
- chaotic time series
- feed forward neural networks
- test data
- feed forward
- image processing