Program State Abstraction for Feedback-Driven Fuzz Testing using Likely Invariants.

Andrea Fioraldi

Published in: CoRR (2020)

Keyphrases

state abstraction
test cases
state space
reinforcement learning
hierarchical reinforcement learning
path finding
imperative programs
variable resolution
orders of magnitude
markov decision processes