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