×
2020
Model-Based Fuzzing Using Symbolic Transition Systems.
[DOI]
Wouter Bohlken
,
Machiel van der Bijl
,
Ana-Maria Oprescu
Proceedings of the 13th Seminar Series on Advanced Techniques & Tools for Software Evolution, 2020