Wouter Bohlken, Machiel van der Bijl, Ana-Maria Oprescu. Model-Based Fuzzing Using Symbolic Transition Systems. In Eleni Constantinou, editor, Proceedings of the 13th Seminar Series on Advanced Techniques & Tools for Software Evolution, Amsterdam, The Netherlands, July 1-2, 2020 (due to COVID-19: virtual event). Volume 2754 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
Abstract is missing.