Pascal Cuoq

Publication Activity (10 Years)

Years Active: 2001-2020
Publications (10 Years): 2

Top Topics

Randomly Generated

Dynamic Analysis

Branch And Bound Search

Number Of Test Cases

Top Venues

Autom. Softw. Eng.

Publications