aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs.

Mohammad Rezaalipour Carlo A. Furia

Published in: ICSME (2023)

Keyphrases

test generation
neural network
symbolic execution
annotation tool
test cases
test sequences
static analysis
artificial neural networks
semantic annotation
design automation
metadata
high level
back propagation
neural network model
test data generation
mutation testing
machine learning