Yaëlle Vinçont

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Specification Language

Symbolic Execution

Tight Integration

Test Generation

Top Venues

Publications

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