Eric Lavillonnière

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 1

Top Topics

Genetic Algorithm

Design Automation

Formal Specification Language

Top Venues

Publications

Eric Lavillonnière, David Mentré, Denis Cousineau
Fast, Automatic, and Nearly Complete Structural Unit-Test Generation Combining Genetic Algorithms and Formal Methods. TAP@FM (2019)
Jean-Pierre Coudreuse, Sophie Pautonnier, Eric Lavillonnière, Sylvain Didierjean, Benoît Hilt, Toshimichi Kida, Kazuyoshi Oshima
Broadband Optical Access Technologies to Converge towards a Broadband Society in Europe. IEICE Trans. Commun. (8) (2008)