Concepedia

Romain Sommerard

RS

2

Publications

301

Citations

2

H-Index

2015

Active since

Affiliations

Université de Lille(Current)

Romain Sommerard is an author at Université de Lille specializing in formal verification, engineering, and formal methods.

Top concepts

Publications per year

2015–2016

2

Publications

2

Automatic repair of real bugs in java: a large-scale experiment on the defects4j dataset

Matías Martínez, Thomas Durieux, Romain Sommerard et al. · Empirical Software Engineering · 2016 · 254 citations · Full text

, , +16

Automatic Repair of Real Bugs: An Experience Report on the Defects4J Dataset

Romain Sommerard · arXiv (Cornell University) · 2015 · 47 citations · Full text

, , +25

Rows per page

1–2 of 2