C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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