A Tight Integration of Symbolic Execution and Fuzzing (Short Paper). - Yaëlle Vinçont; Sébastien Bardin; Michaël Marcozzi (FPS, 2021)

Software security: combining fuzzing and symbolic methods for vulnerability detection. (Fuzzing et méthodes symboliques pour la détection de vulnérabilités à large échelle). - Yaëlle Vinçont (2021)