Daniel Le Berre (CRIL)

Identifiers

• name variant Daniel Le Berre (CRIL) 0.60 · backfill

Papers (1)

1. Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT cs.SE · 2014 · author #3

Mentions

• 1404.3186 #3 · backfill · confidence 0.70 Daniel Le Berre (CRIL)

Frequent Coauthors

• Favio Demarco 1 shared papers
• Jifeng Xuan (INRIA Lille - Nord Europe) 1 shared papers
• Martin Monperrus (INRIA Lille - Nord Europe) 1 shared papers