C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Introduction to Symbolic Execution of Neural Networks - Towards Faithful and Explainable Surrogate Models.
Maximilian Schlüter
Gerrit Nolte
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2022)
Keyphrases
</>
symbolic execution
neural network
test data generation
test generation
static analysis
specification language
source code
data flow
genetic algorithm
artificial neural networks
open source
data sets
web services
evolutionary algorithm
object oriented
orders of magnitude
simulated annealing algorithm