Yaëlle Vinçont, Sébastien Bardin, Michaël Marcozzi. A Tight Integration of Symbolic Execution and Fuzzing (Short Paper). In Esma Aïmeur, Maryline Laurent, Reda Yaich, Benoît Dupont, Joaquín García-Alfaro, editors, Foundations and Practice of Security - 14th International Symposium, FPS 2021, Paris, France, December 7-10, 2021, Revised Selected Papers. Volume 13291 of Lecture Notes in Computer Science, pages 303-310, Springer, 2021. [doi]
Abstract is missing.