Model-Based Fuzzing Using Symbolic Transition Systems. - Wouter Bohlken; Machiel van der Bijl; Ana-Maria Oprescu (SATToSE, 2020)