Login / Signup
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach.
Sophie Lathouwers
Maarten H. Everts
Marieke Huisman
Published in:
ICISSP (2020)
Keyphrases
</>
decision trees
black box
machine learning
learning process
active learning
reinforcement learning
learning algorithm
high level
training data
supervised learning
inductive inference
hybrid systems
neural network
online learning
learning systems
connectionist systems