Sylvain Dailler

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 2

Top Topics

Search Based Software Testing

Generation Algorithm

Top Venues

J. Log. Algebraic Methods Program.

University of Orléans, France (PHD)

Education History

University of Orléans, France

PHD

Publications

Sylvain Dailler, Claude Marché, Yannick Moy
Lightweight Interactive Proving inside an Automatic Program Verifier. F-IDE@FLoC (2018)
Sylvain Dailler, David Hauzar, Claude Marché, Yannick Moy
Instrumenting a weakest precondition calculus for counterexample generation. J. Log. Algebraic Methods Program. 99 (2018)