JFIX: semantics-based repair of Java programs via symbolic PathFinder.

Xuan-Bach Dinh Le, Duc-Hiep Chu, David Lo, Claire Le Goues, Willem Visser

Browse the full ISSTA paper archive.