Login / Signup
Model-Based Fuzzing Using Symbolic Transition Systems.
Wouter Bohlken
Machiel van der Bijl
Ana-Maria Oprescu
Published in:
SATToSE (2020)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
control flow
reactive systems
domain specific
model checker