Daniel Le Berre

Daniel Le Berre

Université d'Artois - Arras / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4991160
University of Artois
person_outline Daniel Le Berre's MOST POPULAR ARTICLES
1-) The Sat4j library, release 2.2 D Le Berre, A Parrain Journal on Satisfiability, Boolean Modeling and Computation 7 (2-3), 59-64, 2010 7522010
2-) Nopol: Automatic repair of conditional statement bugs in java programs J Xuan, M Martinez, F Demarco, M Clement, SL Marcote, T Durieux, ... IEEE Transactions on Software Engineering 43 (1), 34-55, 2016 3942016
3-) The international SAT solver competitions M Järvisalo, D Le Berre, O Roussel, L Simon Ai Magazine 33 (1), 89-92, 2012 2082012
4-) Automatic repair of buggy if conditions and missing preconditions with smtF DeMarco, J Xuan, D Le Berre, M MonperrusProceedings of the 6th international workshop on constraints in software …, 20141752014
5-) Qualitative choice logicG Brewka, S Benferhat, D Le BerreArtificial Intelligence 157 (1-2), 203-237, 20041572004