Author Search Results

1

Empirical study on synthesis engines for semantics-based program repair

Empirical study on synthesis engines for semantics-based program repair

by BACH, Le Dinh Xuan, LO, David, GOUES, Claire Le
Published 2016

Get full text
Get full text

text

2

Enhancing automated program repair with deductive verification

Enhancing automated program repair with deductive verification

by LE, Xuan-Bach D., LE, Quang Loc, LO, David, GOUES, Claire Le
Published 2016

Get full text
Get full text

text

3

JFIX: Semantics-based repair of Java programs via symbolic PathFinder

JFIX: Semantics-based repair of Java programs via symbolic PathFinder

by LE, Xuan-Bach D., CHU, Duc-Hiep, LO, David, GOUES, Claire Le, VISSER, Willem
Published 2017

Get full text

text